[mohamedsa]

I don't know of a readily available solution, but there are some discussion threads on comp.lang.lisp about "tree shaking" and how to could be used to remove unused parts of the runtime before writing the image. Some of those posts are quite interesting. And it seems some of those techniques are already implemented in commercial Lisp offerings.

For the time being, I think the way to go is to use Lisp for the cases that suit it best. My aim for using Lisp is for internal-use code generation or web stuff, so code size is not a big deal. Also if your program is already large and complex (which Lisp was designed for, being an AI language) then the initial runtime size wouldn't be too significant compared to the size of the program.