1 // { dg-additional-options {-fmodule-header} } 2 // { dg-module-cmi {} } 3 4 namespace foo 5 { 6 } 7