let clear ra = ra.vlix <- -1; enforce_strategy ra