1 2 3 4 5 6 7 8
/* just for testing purposes */ #include <stdio.h> main () { printf ("%d\n", check_64bit ()); }