pub fn interpret_rtype<Env: InterpreterEnv>(
    env: &mut Env,
    instr: RTypeInstruction
)