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

extern "C" 
{
  extern int printf (const char *__restrict __format, ...);
}