1  f (unsigned char *a)
       2  {
       3    int i, j;
       4    int x, y;
       5  
       6    j = a[1];
       7    i = a[0] - j;
       8    if (i < 0)
       9      {
      10        x = 1;
      11        y = -i;
      12      }
      13    else
      14      {
      15        x = 0;
      16        y =  i;
      17      }
      18    return x + y;
      19  }
      20  
      21  
      22  main ()
      23  {
      24    unsigned char a[2];
      25    a[0] = 8;
      26    a[1] = 9;
      27    if (f (a) != 2)
      28      abort ();
      29    exit (0);
      30  }