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