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