let remove_char s c = if s <> "" then for i = 0 to (String.length s) - 1 do if s.[i] = c then s.[i] <- ' ' done; s