public int readSeparator() { pushPos(); while (readSeparatorChar() != 0); if (grabLength() != 0) { popPos(); return 1; } popPosBack(); return 0; }