infocom recording and output files