6.6.5 Options for Debugging

The following options are used for debugging.