1 // { dg-additional-options -fmodule-header } 2 3 // { dg-module-cmi {} } 4 #include "xtreme-header-4.h" 5