f : Int -> Int
f (-1) = 1