Apparently i never noted this: The hack whereby the "format string" may be a list is going away. It is still supported just-in-case, except that the EVAL kludge is gone. The fact that the latest lispm manual documents this "feature" is an oversight.