strpct
(void)fputs(strpct(pb, sizeof(pb),
char *strpct(char *, size_t, uintmax_t, uintmax_t, size_t);
ATF_TC(strpct);
ATF_TC_HEAD(strpct, tc)
ATF_TC_BODY(strpct, tc)
ATF_TP_ADD_TC(tp, strpct);
const char *have = strpct(buf + 1, bufsiz, num, den, digits);