// { dg-additional-options -fmodules-ts }
export  module  hello:check;
// { dg-module-cmi hello:check }

export namespace NS {}