test10
ATF_TC_WITHOUT_HEAD(test10);
ATF_TC_BODY(test10, tc)
ATF_TP_ADD_TC(tp, test10);
ADD_TEST(test10)
{ test10, 0 },