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

export void stuart ();