unsigned long int thislen;
char *thiskey;
int keys_len=xbt_dynar_length(keys);
xbt_assert(xbt_dynar_length(keys) == xbt_dynar_length(lens));
unsigned long int thislen;
char *thiskey;
int keys_len=xbt_dynar_length(keys);
xbt_assert(xbt_dynar_length(keys) == xbt_dynar_length(lens));