// { dg-additional-options {-fmodules-ts} }
export module Foo;
// { dg-module-cmi {Foo} }
import "pr98741_a.H";