How would we enforce this fixed global symbol? Also from name supply?
When a function need to fix a global name, it will attach an attr “global_symbol” with the name. That attr can be used say by BYOC to pick a name, attach the global symbol, so followup passes respect that constraint.
We can have a stable set of reserved names.