tss_set
int tss_set(tss_t, void *);
ATF_REQUIRE_EQ(tss_set(s, v), thrd_success);
tss_set(s_empty, arg);
tss_set(s_nonempty, arg);
ATF_REQUIRE_EQ(tss_set(s_nonempty, v), thrd_success);
ATF_TP_ADD_TC(tp, tss_set);
ATF_TC(tss_set);
ATF_TC_HEAD(tss_set, tc)
ATF_TC_BODY(tss_set, tc)
ATF_REQUIRE_EQ(tss_set(s, v), thrd_success);