Symbol: scan_white
src/add-ons/translators/ppm/PPMTranslator.cpp
753
if (state == scan_white) { /* we only ever read one whitespace,
src/add-ons/translators/ppm/PPMTranslator.cpp
759
if (state != scan_white)