def sdiv_(self, global_state: GlobalState) -> List[GlobalState]:
        """

        :param global_state:
        :return:
        """
        s0, s1 = (
            util.pop_bitvec(global_state.mstate),
            util.pop_bitvec(global_state.mstate),
        )
        if s1 == 0:
            global_state.mstate.stack.append(symbol_factory.BitVecVal(0, 256))
        else:
            global_state.mstate.stack.append(s0 / s1)
        return [global_state]
def sdiv_ ( self , global_state : GlobalState ) -> List [ GlobalState ] : s0 , s1 = ( util . pop_bitvec ( global_state . mstate ) , util . pop_bitvec ( global_state . mstate ) , ) if s1 == 0 : global_state . mstate . stack . append ( symbol_factory . BitVecVal ( 0 , 256 ) ) else : global_state . mstate . stack . append ( s0 / s1 ) return [ global_state ]
:param global_state:
        :return: