unchar -> ungetc