https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88422
--- Comment #4 from Jim Wilson <wilson at gcc dot gnu.org> --- I used a cross compiler, so ulong_type is easy enough to check. For simple-object-elf.i I see __extension__ typedef unsigned long long uint64_t; ... __extension__ typedef uint64_t ulong_type; which looks right.