Re: haxr representation of Booleans