Simpler `random_32_bytes`.