1 // PERMUTE_ARGS:
2 // REQUIRED_ARGS: -o-
3 import imports.ice13403a;
4 
main()5 void main() {}
6