(module Stdlib__random)