WriteNumber       138 src/preparse-data.cc   WriteNumber(id - 1);
WriteNumber       219 src/preparse-data.h   void WriteNumber(int number);