test/system/casl2/lib_abs/0.txt

   1 12
   2 +
   3 12
   4 --------
   5 -12
   6 -
   7 12
   8 --------
   9 1
  10 +
  11 1
  12 --------
  13 -1
  14 -
  15 1
  16 --------
  17 32767
  18 +
  19 32767
  20 --------
  21 -32767
  22 -
  23 32767
  24 --------
  25 0
  26 +
  27 0
  28 --------
  29 -32768
  30 OV
  31 -32768
  32 --------