DEFAULT_SAVESYMBOLS 40 asdefs.hpp #define DEFAULT_SAVESYMBOLS FALSE DEFAULT_SAVESYMBOLS 31 defaults.hpp #define DEFAULT_SAVESYMBOLS FALSE