let get_exn s ~index =     match get s ~index with None -> failwith "get_exn" | Some s -> s