1                 : #include <stdlib.h>
       2                 : #include <stdio.h>
       3                 : 
       4                 : int main(void)
       5               2 : { /* output a "1" is it's a 64 bit platform. Major hack. */
       6               2 :         size_t val = -1;
       7                 : 
       8               2 :         puts((val == 0xFFFFFFFF) ? "0" : "1");
       9                 : 
      10               2 :         return 0;
      11                 : }