(define n (read)) (display (- n 1)) (newline)