// { dg-additional-options "-fmodule-header" } // { dg-module-cmi {} } // this is a legacy user header int frob (float);