You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
They are very dangerous and allow to violate memory safety, could be replaced with zip#/unzip#. And attempts to use them safely largely amounts to rewriting of zip#/unzip#. So I propose to deprecate them without plan for removal