The less you can print. No end mark comment for routines. Very compact printing. Print end comment of routines. Show the number of the version of SmallEiffel you're using.
Backup file is written in the same directory as source file.
If an old backup file already exists before pretty printing, command pretty exit with an error message. To be sure that the pretty printing is well done, the output file is parsed again. Even if second parsing gives no errors, backup file is NOT removed. Thus you can recompile your Eiffel code to check new file before removing backup file by yourself.