let escape s = Str.global_replace (Str.regexp_string "\"""\\\"" s