1 // { dg-additional-options {-fmodules-ts} }
2 export module hello;
3 // { dg-module-cmi hello }
4 export import :format;
5