random32: move the pseudo-random 32-bit definitions to prandom.h