random 32-bit unsigned

and more style changes