Ex-1.5

applicative-order behavior:
It'll try to evaluate the args passed to test, which will lead it to evaluate (p) and that will put it into a infinite recursion.

normal-order behavior:
In this case test body will start evaluating without evaluating the args(until they're needed) , will return 0 and exit.