#lang scheme
(require (planet plai/plai))
(require (except-in htdp/testing test))

(define (foo x)
  (+ x 4))
(check-expect (foo -4) 1)
(check-expect (foo 12) 16)
(check-expect (foo 3) -7)

(generate-report)