names.  Unfortunately, this is not bulletproof since the module
dictionary can be modified directly.