fprintf__simple_string
ATF_TC_WITHOUT_HEAD(fprintf__simple_string);
ATF_TC_BODY(fprintf__simple_string, tc)
ATF_TP_ADD_TC(tp, fprintf__simple_string);
fprintf__simple_string();
fprintf__simple_string();