[pre-RFC] Name mangling in IRModules

One question in my mind is: there are some names which must be stable e.g. __main__, get_c_metadata. I presume there would be a way to tell the name supply about this?

How would we enforce this fixed global symbol? Also from name supply?