SIZEOF_INT32      367 random.c           uint32_t buf0[SIZEOF_LONG / SIZEOF_INT32 * 4], *buf = buf0;
SIZEOF_INT32      819 random.c               for (i = SIZEOF_LONG/SIZEOF_INT32-1; 0 <= i; i--) {
SIZEOF_INT32     1090 random.c           for (; n >= SIZEOF_INT32; n -= SIZEOF_INT32) {
SIZEOF_INT32     1092 random.c       	i = SIZEOF_INT32;