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

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