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

import "pr99241_a.H";
void terminate();
import "pr99241_b.H";