factorial con’d, trace output

CG-USER(17): (factorial 4)

0[1]: (FACTORIAL 4)

1[1]: (FACTORIAL 3)

2[1]: (FACTORIAL 2)

3[1]: (FACTORIAL 1)

3[1]: returned 1

2[1]: returned 2

1[1]: returned 6

0[1]: returned 24