// { dg-additional-options {-fmodule-header -fno-module-lazy -Wno-psabi} }
// { dg-module-cmi {} }

#include "bool-1.h"
import "bool-1_a.H";