next up previous contents
Next: Token WKP= of cast Up: Category IO (optional) Previous: Token HELP= of cast

Token VERBOS= of cast integer (optional)

Is an integer that determines the verbosity of output a program sends to standard out. The output is roughly as follows:

0: nearly nothing is printed 10: very terse 20: terse 30: normal 40: normal 50: verbose 100: low-level debugging 110: intermediate level debugging 120: high-level debugging.



O. Jepsen
Thu Oct 12 14:48:45 MESZ 2000