man_strlen
printf(" %dn", man_strlen(name) + 1);
static int man_strlen(const char *);
sz = man_strlen(v);
sz = man_strlen(bl->width);
chsz = man_strlen(child->string);