IO#write(Array(UInt8)) and IO#write_byte