Comment 2 for bug 176225

I said:
> That was the case before the new IO implementation [...]

I take that back. put-u8 always outputted one byte, otherwise, I couldn't have generated the bootfiles. It was the case however that if you (put-char p (integer->char 175)), you'd get a 2-byte output since all ports were utf8-transcoded.