random32.c changes