code: def execute_contract_creation(
      laser_evm, contract_initialization_code, contract_name=None
  ) -> Account:
      
      # TODO: Resolve circular import between .transaction and ..svm to import LaserEVM here
      open_states = laser_evm.open_states[:]
      del laser_evm.open_states[:]
  
      new_account = laser_evm.world_state.create_account(
          0, concrete_storage=True, dynamic_loader=None, creator=CREATOR_ADDRESS
      )
      if contract_name:
          new_account.contract_name = contract_name
  
      for open_world_state in open_states:
          next_transaction_id = get_next_transaction_id()
          transaction = ContractCreationTransaction(
              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
              ),
              code=Disassembly(contract_initialization_code),
              caller=symbol_factory.BitVecVal(CREATOR_ADDRESS, 256),
              callee_account=new_account,
              call_data=[],
              call_value=symbol_factory.BitVecSym(
                  "call_value{}".format(next_transaction_id), 256
              ),
          )
          _setup_global_state_for_execution(laser_evm, transaction)
      laser_evm.exec(True)
  
      return new_account
docs: Executes a contract creation transaction from all open states.
  
      :param laser_evm:
      :param contract_initialization_code:
      :param contract_name:
      :return: