We need to some new names in this code. I went through the same kind of oh-but-wait thinking.  The spec uses the word 'linking' for step preceding module body execution.