// { dg-additional-options "-fmodules-ts" }
export module Foop;
// { dg-module-cmi "Foop" }

import Bar;

export int Thing ();