Calls ensure-symbol-not-stobj with ctx and state as the last two arguments.
Macro: ensure-symbol-not-stobj$
(defmacro ensure-symbol-not-stobj$ (symb description error-erp error-val) (list 'ensure-symbol-not-stobj symb description error-erp error-val 'ctx 'state))