>&2
DEBUG.COLORS=no
UNEXPECTED_EXCEPTIONS=yes
*.EXCEPTIONS=yes
TESTSUITE=yes
SHELL_DOC=yes

--  Keep traces till the end, in case we get unexpected exceptions in the
--  finalization of GPS
DEBUG.FINALIZE_TRACES=no
