test4
test4();
test4();
static void test4(void);
ATF_TC_WITHOUT_HEAD(test4);
ATF_TC_BODY(test4, tc)
ATF_TP_ADD_TC(tp, test4);
ATF_TC_WITHOUT_HEAD(test4);
ATF_TC_BODY(test4, tc)
ATF_TP_ADD_TC(tp, test4);
{ test4, 4, 0 },