gcc/testsuite/g++.dg/modules/freeze-1_c.C

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

export void kevin ();