void main()
{
    // Original definition
    typedef unsigned long int uint64_t;

    // This is ok
    typedef unsigned long long uint64_t;
    // This is not
    typedef unsigned long uint64_t;
}