1 // { dg-additional-options -fmodules-ts }
2 
3 import Foo;
4 
main()5 int main ()
6 {
7   return Check (0) ? 0 : 1;
8 }
9