codeb/codea_skinner33_19.call

   1 long f1(long,long,long);
   2 long f2(long,long,long);
   3 long f3(long,long,long);
   4 long f4(long,long,long);
   5 long f5(long,long,long);
   6 long f6(long,long,long);
   7 long f7(long,long,long);
   8 long f8(long,long,long);
   9
  10 RET(
  11 f1(0,0,0) == 1 && f1(0,1,1) == 0 &&
  12 f2(0,0,0) == 0 && f2(0,1,1) == 1 &&
  13
  14 f3(0,4,4) == 1 && f3(0,4,3) == 0 &&
  15 f4(0,4,4) == 0 && f4(0,4,3) == 1 &&
  16
  17 f5(0,5,4) == 1 && f5(0,4,5) == 0 &&
  18 f6(0,5,4) == 0 && f6(0,4,5) == 1 &&
  19
  20 f7(0,5,4) == 1 && f7(0,5,5) == 0 &&
  21 f8(0,5,4) == 0 && f8(0,5,5) == 1
  22 );