No, you don't need to do that for every non non local symbol. You only need to do that for external symbols which are shadowed by a local symbol (which has neve

No, you don't need to do that for every non non local symbol. You only need to do that for external symbols which are shadowed by a local symbol (which has never happened to me so far).