1 // { dg-additional-options -fmodule-header } 2 3 // { dg-module-cmi {} } 4 5 void __istream_extract (int); 6