random32: rename random32 to prandom