// { dg-additional-options "-fmodules-ts" }
export module kevin;
// { dg-module-cmi kevin }
export import stuart;
export import bob; // Bob should be reseated in the export map
export import stuart;
// { dg-additional-options "-fmodules-ts" }
export module kevin;
// { dg-module-cmi kevin }
export import stuart;
export import bob; // Bob should be reseated in the export map
export import stuart;