gcc/testsuite/g++.dg/modules/builtin-2.C

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

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