// EXTRA_SOURCES: imports/test4003a.d
// PERMUTE_ARGS:

import imports.stdio4003;
void main(){}