pub fn interpret_rtype<Env: InterpreterEnv>(
    _env: &mut Env,
    _instr: RInstruction
)