pub fn interpret_jtype<Env: InterpreterEnv>(
    env: &mut Env,
    instr: JTypeInstruction
)