(
module
BatHashcons
)