__BITMAP_SIZE
seen_size = __BITMAP_SIZE(char, nfds);
__t _b[__BITMAP_SIZE(__t, __n)]; \
ATF_CHECK_EQ_MSG((n = __BITMAP_SIZE(uint32_t, 65536)), 2048,