func: function migrate() public
      {
          uint256 value = balances[msg.sender];
          require(value > 0);
      
          totalSupply = totalSupply.sub(value);
          totalMigrated = totalMigrated.add(value);
          MigrationAgent(migrationAgent).migrateFrom(msg.sender, value);
          Migrate(msg.sender,migrationAgent,value);
          balances[msg.sender] = 0;
      }