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

import "tpl-extern-fn-1_a.H";

int main ()
{
  Foo<int> ();
}