// REQUIRED_ARGS:
// PERMUTE_ARGS:
/*
TEST_OUTPUT:
---
---
*/
deprecated
module test12567a;

void main() {}