pub fn interpret_sbtype<Env: InterpreterEnv>(
    _env: &mut Env,
    _instr: SBInstruction
)