let
minus_one = pred zero