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

probe begin 
{
	set_endian(2)
	printf("%2b", 0x12)
	printf("%2b", 0x34)
	printf("%2b%2b", 0xabcd, 0x5678)
	a = 0x12345678
	b = 0xabcd
	c = 0x8888
	d = 0xcdef
	printf("%2b%2b%2b%2b", a, b, c, d)
	printf("a=%2b b=%2b c=%2b d=%2b",a,b,c,d)
	exit()
}