Initial revision.
Rename next-uint32 to next-uint31 in tests.