(↲                                                                                                      
  let
  (↲
    (a (read))
    (b (read))
    (s (read))
  )↲
  (write (+ a b))↲
  (display " ")↲
  (write s)↲
  (newline)↲
)↲