(
module
BatRandom
)