void test(int x);
void test(out int x) {}
