let string_of_char c = String.make 1 c