1main()
2{
3  if (wwrite((long long) 0) != 123)
4    abort();
5  exit(0);
6}
7
8int
9wwrite(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