> Given that there is display, is there even a need for write-char and > write-string? Given that we can add write-string (possibly as display-string) and keep write-char (possibly as display-char), and display is ill-defined and on in many implementations produces confusing output, I suggest we remove display isntead. Kent