// PR#223
class DoubleClass {}