jkfprintf
void jkfprintf(FILE *tp, char *name, int mbox, int offset);
jkfprintf(tp, name, mbox, offset);