pr_number
pr_number(numnames[i], (char *)0, (char *)0,
pr_number(numnames[i], (char *)0, (char *)0,
pr_number(numnames[i], (char *)0, (char *)0, -1);
pr_number((char *)0, "kn", (char *)0, kncounter);
pr_number((char *)0, "ug", (char *)0, magic_cookie_glitch);
pr_number((char *)0, "dB", (char *)0, padding);
pr_number((char *)0, "dC", (char *)0, padding);
pr_number((char *)0, "dF", (char *)0, padding);
pr_number((char *)0, "dN", (char *)0, padding);
pr_number((char *)0, "dT", (char *)0, padding);
pr_number(num[i].infoname, num[i].capname,
pr_number(num[i].infoname, num[i].capname,
pr_number(num[i].infoname, (char *)0, (char *)0, -1);
pr_number(num[i].infoname, (char *)0,
extern void pr_number(char *, char *, char *, int);