let insert a b c = insert a b (stable_copy c)