// COMPILED_IMPORTS: imports/test4003a.d
// EXTRA_FILES: imports/stdio4003.d imports/typecons4003.d
// PERMUTE_ARGS:

import imports.stdio4003;
void main(){}