// { dg-additional-options {-fmodules-ts} }
export module hello;
// { dg-module-cmi hello }
export import :format;