IF
<
A
B
NIL
DECF
B
A
NIL
DECF
A
B
NIL
NIL
(if (< a b) (decf b a) (decf a b))