// REQUIRED_ARGS: -d
// EXTRA_FILES: imports/a12567.d
// PERMUTE_ARGS:
import imports.a12567;

void main() { foo(); }