using only one call to PIN_SafeCopy in checkpoint initialization