int debug_ungetc(int c, DEBUG_FILE *stream);
debug_ungetc pushes the character c onto the input stream. If successful c is returned, otherwise -1 is returned.