Improved example for nodups-3.