pub fn interpret_itype<Env: InterpreterEnv>(
    env: &mut Env,
    instr: ITypeInstruction
)