(module Stdlib__Random)