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

import bob;

void foo ()
{
  elsewhere::frob ();
}