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

#include "bool-1.h"