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

        :param global_state:
        :return:
        """
        state = global_state.mstate
        op0, value = state.stack.pop(), state.stack.pop()

        try:
            offset = util.get_concrete_int(op0)
        except TypeError:
            log.debug("MSTORE to symbolic index. Not supported")
            return [global_state]

        state.mem_extend(offset, 1)

        try:
            value_to_write = (
                util.get_concrete_int(value) % 256
            )  # type: Union[int, BitVec]
        except TypeError:  # BitVec
            value_to_write = Extract(7, 0, value)
        log.debug("MSTORE8 to mem[" + str(offset) + "]: " + str(value_to_write))

        state.memory[offset] = value_to_write

        return [global_state]
def mstore8_ ( self , global_state : GlobalState ) -> List [ GlobalState ] : state = global_state . mstate op0 , value = state . stack . pop ( ) , state . stack . pop ( ) try : offset = util . get_concrete_int ( op0 ) except TypeError : log . debug ( "MSTORE to symbolic index. Not supported" ) return [ global_state ] state . mem_extend ( offset , 1 ) try : value_to_write = ( util . get_concrete_int ( value ) % 256 ) except TypeError : value_to_write = Extract ( 7 , 0 , value ) log . debug ( "MSTORE8 to mem[" + str ( offset ) + "]: " + str ( value_to_write ) ) state . memory [ offset ] = value_to_write return [ global_state ]
:param global_state:
        :return: