9ns: don't pass user pointers for 'spec'