I'm sorry, I don't think I can.

Spec needs to be pc = addr3,
without the $.
Yup - my bad again - actually the code had it right all the time I just wrote the spec. wrong (twice now).
It will be fixed to: pc = addr3 in the spec. (which is how it actually had been coded in the prototype originally - guess I code better than I write specifications).