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