Make list encoding work on CLISP. Iteration variables should not be used in the finally-clause. This loop is still actually not fully "portable" in that way, but it seems to work.