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