test12
ATF_TC_WITHOUT_HEAD(test12);
ATF_TC_BODY(test12, tc)
ATF_TP_ADD_TC(tp, test12);
ATF_TC_WITHOUT_HEAD(test12);
ATF_TC_BODY(test12, tc)
ATF_TP_ADD_TC(tp, test12);
{ test12, 12, 0 },