read `VGPileGames.txt`:

BookEk1(3,t,40);

quit: