/* sysdep: -ulong64 */
#undef HAS_ULONG64
typedef unsigned long long uint64;