// { dg-additional-options -fmodules-ts }
module frob;

void footle ()
{
  foo ();
}