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