io.encodings: this appears to be faster and produce smaller code.