jkfprintf
jkfprintf(tp, ep->name, offset, cr);
static void jkfprintf(FILE *, const char *, off_t, const char *);