// { dg-additional-options "-fmodules-ts -fno-module-lazy" }

import "xtreme-header-6_a.H";