Here is how stdint.h on Linux conjures up the int64_t type.
#if __WORDSIZE == 64
typedef long int int64_t;
#else
typedef long long int int64_t;
#endif