Thanks for the link. The top comment&#x27;s explanation, esp on GC, makes a lot of sense. Both specific keywords and a module-level declaration are rational ways of handling it. So long as it&#x27;s clear to a person or program analyzing safety properties of a module then they can do what they need to do.