blob: d3ad433e52f086029f926fbddf846580e2896b42 [file]
#include <stdint.h>
char foo[8];
int
main ()
{
return (uintptr_t) &foo == 0x12345678 ? 0 : 1;
}