645646647648649650651652653654655
{ inst.setOldValueDirect(i, Undefined.VALUE); } } inst.replicate(); } else { inst.setClean(); }