Create seal_stringConcatenation_C.h