Calls ensure-is-hints-specifier with ctx and state as the last two arguments.
Macro: ensure-is-hints-specifier$
(defmacro ensure-is-hints-specifier$ (x legal-kwds description error-erp error-val) (list 'ensure-is-hints-specifier x legal-kwds description error-erp error-val 'ctx 'state))