Ensure that getv returns the value of setv! without propagation