games: { code: GameCode; id: GameID; name: GameString }[] = ...