Setting a random seed

Just curious, TVM seems to have some internal random generation (tvm.contrib.random) and I don’t see any interface for setting a seed. Is there any way to ensure reproducibility for the various parts of TVM that use randomness?