fact: Definition asm_step_new_mem (stack mem : list Z) (i : assembly) : list Z := match i with | push n => mem | pop => mem | add => mem | cmp => mem | load n => mem | store n => match stack with | v :: s => set_nth mem n v | _ => nil end | goto n => mem | branch n => mem end.
imports: ZArith Arith List syntax little Lia