let unescape s = let s = Dbf_misc.strip_string s in let len = String.length s in if len < 2 then s else match s.[0], s.[len-1] with '"', '"' -> String.sub s 1 (len-2) | _ -> s