nullptr_t
ATF_CHECK(__builtin_types_compatible_p(nullptr_t, typeof(nullptr)));
typedef nullptr_t nbtest_nullptr_t;