This was all started when I saw Matt's use of printf. I don't blame him, but it is a real sign of the clumsyness of print. Did you ever try playing with Danvy's trick to see how it actually felt. I'm not talking about efficiency, just convenience and readability.