// { dg-additional-options -fmodules-ts }
// { dg-module-cmi foo }


export module foo;
export void v ();