old_contents: global.Thousand = 1000; //For readability of number literals in code
  
  global.RoleObj = require('role.obj');
  global.ActionObj = require('action.obj');
  global.Action = {
      Harvest: require('action.harvest'),
      Feed: require('action.feed'),
      Upgrade: require('action.upgrade'),
      Build: require('action.build'),
      Withdraw: require('action.withdraw'),
      Put: require('action.put'),
      Fuel: require('action.fuel'),
      Guard: require('action.guard'),
      Pickup: require('action.pickup'),
      Drop: require('action.drop'),
      Maintain: require('action.maintain'),
      Repair: require('action.repair'),
      Recycle: require('action.recycle'),
  };
  global.Role = {
      Worker: require('role.worker'),
      Harvester: require('role.harvester'),
      Upgrader: require('role.upgrader'),
      Builder: require('role.builder'),
      Hauler: require('role.hauler'),
      Guardian: require('role.guardian'),
      Ant: require('role.ant'),
      Recycler: require('role.recycler'),
      Filler: require('role.filler'),
  };
  global.Util = {
      Spawner: require('util.spawner'),
      Tower: require('util.tower'),
      War: require('util.war'),
      Mark: require('util.mark'),
      GC: require('util.gc'),
      Smalltask: require('util.smalltask'),
      Stat: require('util.stat'),
  }
  global.State= {};
new_contents: global.Thousand = 1000; //For readability of number literals in code
  
  global.RoleObj = require('role.obj');
  global.ActionObj = require('action.obj');
  global.Action = {
      Harvest: require('action.harvest'),
      Feed: require('action.feed'),
      Upgrade: require('action.upgrade'),
      Build: require('action.build'),
      Withdraw: require('action.withdraw'),
      Put: require('action.put'),
      Fuel: require('action.fuel'),
      Guard: require('action.guard'),
      Pickup: require('action.pickup'),
      Drop: require('action.drop'),
      Maintain: require('action.maintain'),
      Repair: require('action.repair'),
      Recycle: require('action.recycle'),
  };
  global.Role = {
      Worker: require('role.worker'),
      Harvester: require('role.harvester'),
      Upgrader: require('role.upgrader'),
      Builder: require('role.builder'),
      Hauler: require('role.hauler'),
      Guardian: require('role.guardian'),
      Ant: require('role.ant'),
      Recycler: require('role.recycler'),
      Filler: require('role.filler'),
  };
  global.Util = {
      Spawner: require('util.spawner'),
      Tower: require('util.tower'),
      War: require('util.war'),
      Mark: require('util.mark'),
      GC: require('util.gc'),
      Smalltask: require('util.smalltask'),
      Stat: require('util.stat'),
      Construction: require('util.construction'),
  }
  global.State= {};
subject: add util.construction to global