ll-call proc pushes the return address on the stack and stores the address of proc (denoted as @proc) in P.
return removes the arguments and the return address retaddr from the stack and continues execution at P = retaddr.