// { dg-additional-options {-fmodules-ts -fno-module-lazy} }
module  hello;