Annotatate CT.readResolve()