let
insert_interactive_at_cursor a b =
insert_interactive_at_cursor a (stable_copy b)