This is a distilled version of the duplicate declaration @mofeiZ and I saw when trying to sync latest Forget internally, plus a fix to avoid the duplicate instruction.