(I would have expected an IOException in the call to `buffer.readUtf8()`...)