// { dg-additional-options {-fmodules-ts -fno-module-lazy} }
import "pr99528_a.H";
import "pr99528_b.H";