Use directly-exported random functions on vstdlib rather than IUniformRandomStream.