tformat
printf(tformat(), t);
fprintf(stderr, tformat(), *tp);
fprintf(stderr, tformat(), t);
printf(tformat(), t);
printf(tformat(), t);
static const char *tformat(void);