Synopsis
int debug_ungetc(int c,
                 DEBUG_FILE *stream);
Description

debug_ungetc pushes the character c onto the input stream. If successful c is returned, otherwise -1 is returned.