fact: Definition opcode_of_instr (i : Instruction) : OpCode := match i with | BCall _ => OpBCall | BRet => OpBRet | Push _ => OpPush | Nop => OpNop | Add => OpAdd | Load => OpLoad | Store => OpStore end.
imports: ZArith List