//#Safe
typedef signed long int __int64_t;
typedef unsigned long int __uint64_t;
typedef __int64_t int64_t;
typedef __uint64_t uint64_t;

int huge_array[sizeof(int64_t)];

int main(){
  uint64_t x = 0;
  return 0;
}