random32.c revision 0766f788
1