__record_type_class
(*({((__builtin_classify_type (*(TYPE*) 0) >= __record_type_class \
(*({((__builtin_classify_type (*(TYPE*) 0) >= __record_type_class \
case __record_type_class: \
: (((__builtin_classify_type (* (__type *) 0) < __record_type_class \
(__builtin_classify_type (* (__type *) 0) >= __record_type_class \
(((__builtin_classify_type (* (__type *) 0) < __record_type_class \
(__builtin_classify_type (* (__type *) 0) >= __record_type_class \
: (__builtin_classify_type (*(__type *) 0) >= __record_type_class \
: (__builtin_classify_type (* (__type *) 0) >= __record_type_class \
else if (__type < __record_type_class) /* integer? */ \
(*({((__builtin_classify_type (*(TYPE*) 0) >= __record_type_class \