Common Lisp with Arc Procedures