let
remove_one ra =
if
ra.vlix < 0
then
failwith
"remove_one"
else
unsafe_remove_one ra