void ungetc(int value) { have_unget = true; unget_value = value; // Only '/' passes through here now. // If we ever let \n here, update 'line' position--; col--; }