let remove_quotes quote s = let l = String.length s in assert(l >= 2); assert(s.[0] = quote); assert(s.[l - 1] = quote); String.sub s 1 (l - 2)