2
/* Various debug options. They are here rather than in def_config.in to make
3
complete recompilation less likely, if the debugging option is requested */
5
/* General debug -- should not change code */
8
/* Verbose execution */
15
#undef DEBUG_ASSERTIONS