// { dg-additional-options "-fmodules-ts" } export module kevin; // { dg-module-cmi "kevin" } export void kevin ();