This is Giuseppe Attardi's Embeddable Common Lisp a published paper at LUV'94... Excellent talk, impressive integration of Lisp and C. Someone could look into it as a port platform and report on findings to Giuseppe and this list.