How about extending FORMAT so that users may define their own formatting codes (~P to call the pretty-printer, for instance)? It seems like this would be easy to do, and very useful (although abusable). -- Scott Turner