430431432433434435436437438439440
} case TYPE_UNICODE: { int n = read_int(); PyString buffer = Py.newString(read_string(n)); return buffer.decode("utf-8"); } case TYPE_TUPLE: { int n = read_int(); if (n < 0) {