That is, the generated declare_modules() function registers the module-declaration code so that it is run in any new place, too. Merge to 5.2.1 (cherry picked from commit 481e061440)
481e061440
++aux' flag to