let set_exn s ~index ~v =     match set s ~index ~v with None -> failwith "set_exn" | Some s -> s