func remaining(_ total: Int, _ done: Int) -> Int {
    return max(0, total - done)
}

precondition(remaining(4,1) == 3)
precondition(remaining(4,4) == 0)
precondition(remaining(4,5) == 0)
precondition(remaining(0,0) == 0)
print("Nipasar")