__type_mask
#define CHECK(a, b) ATF_REQUIRE(__type_mask(a) == b)
(((a) & __type_mask(t)) == 0) : !__negative_p(a))