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

import "builtin-7_a.H";

void f ()
{
  nanl ("");
}