code: def execute_message_call(laser_evm, callee_address: str) -> None:
      
      # TODO: Resolve circular import between .transaction and ..svm to import LaserEVM here
      open_states = laser_evm.open_states[:]
      del laser_evm.open_states[:]
  
      for open_world_state in open_states:
          if open_world_state[callee_address].deleted:
              log.debug("Can not execute dead contract, skipping.")
              continue
  
          next_transaction_id = get_next_transaction_id()
          transaction = MessageCallTransaction(
              world_state=open_world_state,
              identifier=next_transaction_id,
              gas_price=symbol_factory.BitVecSym(
                  "gas_price{}".format(next_transaction_id), 256
              ),
              gas_limit=8000000,  # block gas limit
              origin=symbol_factory.BitVecSym(
                  "origin{}".format(next_transaction_id), 256
              ),
              caller=symbol_factory.BitVecVal(ATTACKER_ADDRESS, 256),
              callee_account=open_world_state[callee_address],
              call_data=SymbolicCalldata(next_transaction_id),
              call_value=symbol_factory.BitVecSym(
                  "call_value{}".format(next_transaction_id), 256
              ),
          )
          _setup_global_state_for_execution(laser_evm, transaction)
  
      laser_evm.exec()
docs: Executes a message call transaction from all open states.
  
      :param laser_evm:
      :param callee_address: