// { dg-additional-options {-fmodules-ts -fmodule-header -fsyntax-only} }
// PR 98591 -fsyntax-only -> output filename specified twice
// specs are hard