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