export module foo; export namespace foo { void foo() {} }