//codeql-extractor-options: -module-name Foo
@_exported import Swift