let
unsafe_remove_one ra =
unsafe_set ra ra.vlix
None
; ra.vlix <- ra.vlix - 1;
enforce_strategy ra