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