(define (abs x)
  (if (? x 0) x)
        ((= x 0) 0)
        (#T (-x))))

(define (plus1 x)
  (+ x 1))
(define (na2 x)
  (* x x))
(define (g x)
  (na2 (plus1 x)))

(define (p) (p))
(define (test x y)
  (if (= x 0) 
      0 
      y))
(test 0 (p))