154     flibFree,

   154     flibFree,

   155     resetGameConfig,

   155     resetGameConfig,

   156     setSeed,

   156     setSeed,

   157     getSeed,

   157     getSeed,

   158     setTheme,

   158     setTheme,

   159     getThemesList,

   160     getThemesList,

   160     freeThemesList,

   161     freeThemesList,

   161     getThemeIcon,

   162     getThemeIcon,

   162     getScriptsList,

   163     getScriptsList,

   163     getTeamsList,

   164     getTeamsList,

   164     tryAddTeam,

   165     tryAddTeam,

   165     tryRemoveTeam,

   166     tryRemoveTeam,

   166     changeTeamColor,

   167     changeTeamColor,

   168     // dunno what these are

   169     // dunno what these are

   169     RunEngine,

   170     RunEngine,

   170     LoadLocaleWrapper,

   171     LoadLocaleWrapper,

   171     HW_versionInfo,

   172     HW_versionInfo,

   172     HW_versionString,

   173     HW_versionString,