snprintf__two_formatters
ATF_TP_ADD_TC(tp, snprintf__two_formatters);
ATF_TC_WITHOUT_HEAD(snprintf__two_formatters);
ATF_TC_BODY(snprintf__two_formatters, tc)
snprintf__two_formatters();
snprintf__two_formatters();