public int readTokenCharType(char c, IoTokenType type) { pushPos(); if (readChar(c) != 0) { grabTokenType(type); popPos(); return 1; } popPosBack(); return 0; }