Commit cfdea884754ed40ffa5cc00cb1ecaa86cb46a394

Behdad Esfahbod 2018-09-11T10:57:48

[random] Switch to 32bit RNG