Create seal_stringConcatenation.h