/*
 * Check whether 64-bit constants are aligned to 4 or 8 bytes
 */
const double a64 = 42.0;
const int a = 42;
const double b64 = 49.7;

main()
{
	printf("0x%08x\n", &a64);
	printf("0x%08x\n", &a);
	printf("0x%08x\n", &b64);
}