__cleanfile
int __cleanfile(FILE *, int _doclose);
r = __cleanfile(fp, 1);
(void)__cleanfile(fp, 1);
r = __cleanfile(fp, 0);