pub fn interpret_stype<Env: InterpreterEnv>(
    _env: &mut Env,
    _instr: SInstruction
)