let
string_of_char c =
let
s =
"1"
in
s.[0] <- c; s