// { dg-additional-options -fmodules-ts }

export module foo:baz;
// { dg-module-cmi foo:baz }

int foo (int);