1  #include <stdio.h>
       2  #include <stdint.h>
       3  
       4  extern uintptr_t *get_bar (void);
       5  
       6  int
       7  main ()
       8  {
       9    if ((uintptr_t) get_bar () == 0xfffffff0ULL)
      10      printf ("PASS\n");
      11    return 0;
      12  }