(module Bar_size)