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)