New library version and modified bounds-example.