let string_of_char = String.make 1