../../Task/Random-number-generator-device-/Standard-ML