DUMMY             523 src/parser.cc  #define DUMMY )  // to make indentation work
DUMMY             524 src/parser.cc  #undef DUMMY
DUMMY             529 src/parser.cc  #define DUMMY )  // to make indentation work
DUMMY             530 src/parser.cc  #undef DUMMY
DUMMY             143 src/preparser.cc #define DUMMY )  // to make indentation work
DUMMY             144 src/preparser.cc #undef DUMMY
DUMMY             195 src/preparser.cc #define DUMMY )  // to make indentation work
DUMMY             196 src/preparser.cc #undef DUMMY
DUMMY             788 src/preparser.cc #define DUMMY )  // to make indentation work
DUMMY             789 src/preparser.cc #undef DUMMY