Abstract allocation of Lisp Values to a function