1 // { dg-additional-options -fmodule-header }
2 
3 // { dg-module-cmi {} }
4 #include <string>
5