kobj_ungetc
(void) kobj_ungetc(file);
(void) kobj_ungetc(file);
(void) kobj_ungetc(file);
(void) kobj_ungetc(file);
(void) kobj_ungetc(file);
(void) kobj_ungetc(file);
(void) kobj_ungetc(file);
(void) kobj_ungetc(file);
(void) kobj_ungetc(file);
(void) kobj_ungetc(file);
(void) kobj_ungetc(file);
(void) kobj_ungetc(file);