// { dg-additional-options -fmodules-ts }
import bob;

int main ()
{
  int a = 0, b = 1;
  Foo (a, b);

  return 0;
}