Add caller-checked preconditions to speed up path operations?
Add caller-checked preconditions to speed up path operations?