public void yypushback(int number)  {if ( number > yylength() )zzScanError(ZZ_PUSHBACK_2BIG);zzMarkedPos -= number;}
public void YyPushBack(int number){if (number > YyLength)ZzScanError(ZZ_PUSHBACK_2BIG);zzMarkedPos -= number;}