1 (define (p) (p))
2 (define (text x y)
3   (if (= x 0)
4       0
5       y))
6 (test 0 (p))
7 
8 Applicative order will go into an infinite loop when trying to evaluate the operand (p)
9 Normal-order will evaluate it as:
10 
11 (if (= 0 0)
12     0
13     (p))
14 0