pub fn interpret_instruction<Env: InterpreterEnv>(
    env: &mut Env,
    instr: Instruction
)