// { dg-additional-options "-fmodules-ts" }
// { dg-module-cmi Foo }

export module Foo;
export import :check;