thrd_current
thrd_t thrd_current(void);
ATF_TP_ADD_TC(tp, thrd_current);
ATF_TC(thrd_current);
ATF_TC_HEAD(thrd_current, tc)
ATF_TC_BODY(thrd_current, tc)
s = thrd_current();