[SBV] tests/T36.hs:9:1 Proving "f", using Z3.
[Z3] Q.E.D.

[SBV] tests/T36.hs:14:1 Proving "g", using Z3.
[Z3] Falsifiable. Counter-example:
  a = -65 :: Int64
  b = -65 :: Int64
  c =  64 :: Int64