to mark a premature EOF). The Ctrl-Z in the SAUCE record terminates the display of this file just fine now.