package dirsp-proscript-mirage

random_bytes sz id creates sz random bytes with a hint id.

If and only if you have a unit test and need determinism, use the id to deterministically create random numbers.

Every other implementation MUST ignore the id and generate a truly random sequence.