I think krb5.h is okay, since it tests limit macros, and the 64-bit
stuff tries to use [u]int64_t if possible...