Call ensure-function/lambda-guard-verified-exec-fns
with
Macro:
(defmacro ensure-function/lambda-guard-verified-exec-fns$ (x description error-erp error-val) (cons 'ensure-function/lambda-guard-verified-exec-fns (cons x (cons description (cons error-erp (cons error-val '(ctx state)))))))