// { dg-additional-options -fmodules-ts }
import "printf-1_a.H";

int main ()
{
  printf ("hello world!\n");
  return 0;
}