contract MigrationAgent {

  uint256 public originalSupply;
  
  function migrateFrom(address _from, uint256 _value) external returns(bool);
  
  /** Interface marker */
  function isMigrationAgent() external pure returns (bool) {
    return true;
  }
}
/// @title Migration Agent interface
function isMigrationAgent() external pure returns (bool) {
  return true;
}

/** Interface marker */