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