These modules must all have been imported already, I'm sure (there is a loop above that does the same name mangling and importing).

Perhaps it would also be nice to avoid duplicating the prefix of the module name here.