(
module
Bounded_int_table
)