test.c

   1 # include <stdio.h>
   2 #include <stdlib.h>
   3 #include <stdint.h>
   4
   5 int main() {
   6         uint64_t i64 = (uint64_t) NULL;
   7         if (i64)
   8                 printf("True\n");
   9         return 1;
  10 }