Recursive function definitions for Lisp compiler targeting x86_64

Question

I am writing a Lisp compiler that targets x86_64. Most types of functions have worked so far, but I have now hit a roadblock. The quintessential Lisp factorial function give