Bounded_arithmetic loading ...