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

import foo;