let string_string : (string, string) t = String.blit