- char *concat = obstack_alloc(&symbol_obstack, len1 + len2 + 1);
- memcpy(concat, s1, len1);
- memcpy(concat + len1, s2, len2 + 1);
+ char *const concat = obstack_alloc(&symbol_obstack, len1 + len2 + 1);
+ memcpy(concat, s1->begin, len1);
+ memcpy(concat + len1, s2->begin, len2 + 1);