public int readOperator()
{
char c;
pushPos();
c = nextChar();
if (c == 0)
{
popPosBack();
return 0;
} else {
prevChar();
}
while (readOpChar() != 0);
if (grabLength() != 0)
{
grabTokenType(IoTokenType.IDENTIFIER_TOKEN);
popPos();
return 1;
}
popPosBack();
return 0;
}