1 // { dg-additional-options "-fmodules-ts" } 2 3 export module Foo; 4 // { dg-module-cmi "Foo" } 5 6 export int bob (); 7 8