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

export int bob ();