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

int frob (int a)
{
  return a + 2;
}