DoubleTest constant pool assertions