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

export module stuart;
// { dg-module-cmi stuart }

export import bob;