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

[SBV] tests/T32.hs:15:1 Proving "g", using Z3.
[Z3] Falsifiable. Counter-example:
  x = 32 :: Word8