}
} else {
//printf("================================================================================%s================================================================================", js);
- js_sv=malloc(sizeof(char)*10);
+ //js_sv=malloc(sizeof(char)*10);
dump(js, tok, p.toknext, 0, map, 0);
eof_expected = 1;
}