(module Bounded_int_table)