module M where
import Data.Int
import Data.Word

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