(assert
  (eq (do
        (add 1 2)
        (add 1 2)
        (add 1 2))
      3))