jkfprintf
jkfprintf(tp, utp->ut_user, file, offset);
static void jkfprintf(FILE *, char[], char[], off_t);