SOURCE_CODES
  ENABLED Main
  ENABLED Americans
  ENABLED others
  ENABLED Win
  ENABLED ArabianAI
  ENABLED KuronskiAI
END_OF_SOURCE_CODES
