let
concat_string ts = concat_gen
String
.create blit_to_string ts