pub fn interpret_utype<Env: InterpreterEnv>(
    _env: &mut Env,
    _instr: UInstruction
)