tests/sav/test_ffi_c_operators.sav

   1 11
   2 9
   3 22
   4 3
   5 false
   6 false
   7 false
   8 true
   9 3
  10 4096
  11 true
  12 false
  13 false
  14 false
  15 false
  16 true
  17 true
  18 true
  19 false
  20 false
  21 true
  22 true
  23 52
  24 456