1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22
main() { if (wwrite((long long) 0) != 123) abort(); exit(0); } int wwrite(long long i) { switch(i) { case 3: case 10: case 23: case 28: case 47: return 0; default: return 123; } }