// { dg-additional-options -fmodule-header } // { dg-module-cmi {} } #include "merge-15.h"