let minus_one = pred zero