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

#include "pr118920.h"
import "pr118920_b.H";
import "pr118920_a.H";