1 // { dg-additional-options -fmodules-ts } 2 // { dg-module-cmi foo } 3 4 5 export module foo; 6 export void v (); 7