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

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