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