6.7.5 Options for Debugging

The following options are used for debugging.