// { dg-additional-options -fmodules-ts } import "builtin-6_a.H"; int main () { return sin (0.0); }