sequence.concat_str