// { dg-additional-options -fmodules-ts }

export import Foo;
export import Bar;

namespace Bob
{
void Widget ()
{
  Random ();
  Quux ();
}
}