MAXPUSHBACK
char pushback_buffer[MAXPUSHBACK];
if (pushback_index + 1 >= MAXPUSHBACK)
char pushback_buffer[MAXPUSHBACK];
if (pushback_index + 1 >= MAXPUSHBACK)
char pushback_buffer[MAXPUSHBACK];
if (pushback_index + 1 >= MAXPUSHBACK)
char pushback_buffer[MAXPUSHBACK];
if (pushback_index + 1 >= MAXPUSHBACK)
char pushback_buffer[MAXPUSHBACK];
if (pushback_index + 1 >= MAXPUSHBACK)
char pushback_buffer[MAXPUSHBACK];
if (pushback_index + 1 >= MAXPUSHBACK)
char pushback_buffer[MAXPUSHBACK];
if (pushback_index + 1 >= MAXPUSHBACK)
char pushback_buffer[MAXPUSHBACK];
if (pushback_index + 1 >= MAXPUSHBACK)
char pushback_buffer[MAXPUSHBACK];
if (pushback_index + 1 >= MAXPUSHBACK)
char pushback_buffer[MAXPUSHBACK];
if (pushback_index + 1 >= MAXPUSHBACK)