module M where
import Data.Int
import Data.Word
import Unsafe.Coerce

foo :: Word8 -> Int8
foo x = 2 * unsafeCoerce (x + 1)