(define (check pred pass) (if (pred pass) pass (error "Check failed:" check))) (define (assert pred) (if (not pred) (error "Assertion failed:" pred)))