Formerly ../stdio/ungetc.c.~6~