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