1 2 3 4 5 6
;; Execution state common shared by all backends. ; Whether a trap has occurred. (state exec_trap (type Bool) (default (not exec_trap)))