Specifies that a DECwindows session file is to be played, producing
   a new session file with text synchronization added.  Only text seen
   during each playback will be used for synchronization purposes.