let insert_interactive_at_cursor a b =
    insert_interactive_at_cursor a (stable_copy b)