(BIN) play.dvi
 (TXT) playout.2
 (TXT) playout.3
 (BIN) playtate.dvi