unsigned int len, read_len;
if (!read_uint (r, &len))
unsigned int len, read_len;
if (!read_uint (r, &len))
utf8_label = recode_string_pool ("UTF-8", dict_encoding,
rec->label, -1, r->pool);
utf8_label = recode_string_pool ("UTF-8", dict_encoding,
rec->label, -1, r->pool);