-- NB. printDoc prints FastStrings in UTF-8: hPutFS below does no decoding.
-- This is what we usually want, because the IO library has no encoding
-- NB. printDoc prints FastStrings in UTF-8: hPutFS below does no decoding.
-- This is what we usually want, because the IO library has no encoding