smack: only assert pointers to avoid NULL deref