Integer Set Library mirror