1void f([[maybe_unused]] int x);
2