fact: Definition gen_state : G State := let imem0 := replicate 10 Nop in pc <- gen_atom ;; mem <- gen_memory ;; stk <- gen_stack 10 (is_atom_low pc) ;; st' <- gen_by_exec default_table 20 (St imem0 mem stk pc) ;; ret st'.
imports: QuickChick(QuickChick) ZArith List QuickChick.ifcbasic(Machine) ExtLib.Structures.Monads