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

namespace foo
{
}