// REQUIRED_ARGS:
// PERMUTE_ARGS:
deprecated
module test12567a;

void main() {}