let string_of_char c =
  String.make 1 c