type t = | POP | PUSHI of int | ADD | SUB | MUL | PRINTI | RET let codes = [| PUSHI 1; PUSHI 2; ADD; PUSHI 10; SUB; PUSHI 100; MUL; PRINTI; RET ] let rec exec stack pc = ( let code = codes.(pc) in let npc = pc + 1 in match (codes.(pc), sta…