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