sin6_print
return sin6_print(buf, len, sa);
int sin6_print(char *, size_t, const void *);
ATF_TC(sin6_print);
ATF_TC_HEAD(sin6_print, tc)
ATF_TC_BODY(sin6_print, tc)
r = sin6_print(buf, l, &sin6);
r = sin6_print(buf, l, &sin6);
ATF_TP_ADD_TC(tp, sin6_print);