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