// { dg-additional-options "-fmodules-ts" }
export module Baz;
// { dg-module-cmi "Baz" }

void Quux (void);

export void Bar (void);

void Foo (void);