(module Core_random)