code: def memory_write(self, offset: int, data: List[Union[int, BitVec]]) -> None:
          
          self.mem_extend(offset, len(data))
          self.memory[offset : offset + len(data)] = data
docs: Writes data to memory starting at offset.
  
          :param offset:
          :param data: