Reading over
https://gcc.gnu.org/wiki/cxx-modules?action=AttachFile&do=view&target=module-abi-2017-09-01.pdf,
in particular Section 4 ("Recommendation"), it suggests that code such as:
```
export module moo;
int moo() { return 10; }
```
should "have module-linkage include the module name in their mangling", and
indeed it appears this is the case:
```
0000000000000000 g F .text 000000000000000b _ZW3mooE3moov
```
(from objdump @ 75f03fa7743, compiled with GCC 11.0.0).
However, I have two questions:
1) What should the demanging (e.g., via c++filt) of `_ZW3mooE3moov` be?
2) How should the presentation of demangling `_ZW3mooE3moov` (in the module
case) differ from the demangling of `_ZN3moo3mooEv` (in the case where you have
a method `moo` in a namespace `moo`)?
Cheers,
Andrew
