# test of 32-bit binary prints
# Also tests big_endian4()

probe begin 
{
	set_endian(2)
	printf("%4b", 0x12)
	printf("%4b", 0x34)
	printf("%4b%4b", 0xabcdef00, 0x5678)
	a = 0x12345678
	b = 0x11112222
	c = 0x88889999
	d = 0xcdef0000
	printf("%4b%4b%4b%4b", a, b, c, d)
	printf("a=%4b b=%4b c=%4b d=%4b",a,b,c,d)
	exit()
}