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