See <http://creativecommons.org/publicdomain/zero/1.0/>. */
-#include <stdint.h>
+#include "system.h"
#include "crypto.h"
+#include "random.h"
/* This is xoshiro256** 1.0, one of our all-purpose, rock-solid
generators. It has excellent (sub-ns) speed, a state (256 bits) that is