(define (six0 x) (+ 3 3))
(define (+ x y) (* x y))
(define (six1 x) (+ 3 3))
(six0 0)
(six1 0)