Re: [cmucl-imp] run-program encoding