Change verbosity to 0 (or less) to disable all printing to console.
The name of the file used by the debugger's session save/restore facilities.