def absValue(x) :
    """{ pre  x != 0
         post ans > 0 and (ans == x or ans == 0 - x)
         return ans
    }"""
    if x < 0 :
        ans = 0 - x
    else :
        ans = x
    return ans