Use character encoding for IR encoding.