// { dg-additional-options "-fmodules-ts" }
export module bob;
// { dg-module-cmi "bob" }
export void Foo ();
export 
{
  void Bar ();
}