test7
test7();
test7();
static void test7(void);
ATF_TC_WITHOUT_HEAD(test7);
ATF_TC_BODY(test7, tc)
ATF_TP_ADD_TC(tp, test7);
ATF_TC_WITHOUT_HEAD(test7);
ATF_TC_BODY(test7, tc)
ATF_TP_ADD_TC(tp, test7);
{ test7, 7, 0 },