internal int GetInt()
{
int val = (int)chr - (int)'0';
scan();
while (Char.IsDigit(chr))
{
checked { val = val * 10 + (int)chr - (int)'0'; }
scan();
}
return val;
}