zzMarkedPos = zzMarkedPosL; zzPushbackPos = zzPushbackPosL; boolean eof = zzRefill();
zzMarkedPos = zzMarkedPosL; zzPushbackPos = zzPushbackPosL; boolean eof = zzRefill();
zzMarkedPos = zzMarkedPosL; zzPushbackPos = zzPushbackPosL; boolean eof = zzRefill();
zzMarkedPos = zzMarkedPosL; zzPushbackPos = zzPushbackPosL; boolean eof = zzRefill();