test3
test3();
static void test3(void);
test3();
ATF_TC_WITHOUT_HEAD(test3);
ATF_TC_BODY(test3, tc)
ATF_TP_ADD_TC(tp, test3);
ATF_TC_WITHOUT_HEAD(test3);
ATF_TC_BODY(test3, tc)
ATF_TP_ADD_TC(tp, test3);
{ test3, 3, 1 },