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