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

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

int main ()
{
}