# BEGIN rule(s)

	BEGIN {

     1  	v = 0x0100000000000000000000000000000000

	}