(
module
Core_random
)