# test of 64-bit binary prints
# need to use big_endian8() to get consistent results across 
# different-endian architectures.

probe begin 
{
	set_endian(2)
	printf("%8b", 0x12)
	printf("%8b", 0x34)
	printf("%8b%8b", 0xabcd000011112222, 0x5678567856785678)
	a = 0x0012345678abcdef
	b = 0x1111222233334444
	c = 0x88889999aaaabbbb
	d = 0xcdef000011112222
	printf("%8b%8b%8b%8b", a, b, c, d)
	printf("a=%8b b=%8b c=%8b d=%8b",a,b,c,d)
	exit()
}