add5 : Int -> Int
add5 x =
    x + 5