1 // { dg-additional-options -fmodule-header } 2 // { dg-module-cmi {} } 3 4 #define PROTECT 1 5 int foo (); 6