gcc/testsuite/g++.dg/modules/mod-stamp-1_a.C

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

export module Foo;
// { dg-module-cmi "Foo" }

export int bob ();