/src/tests/harden_rand