You can implement your own libraries that do this easily. The std libraries have to maintain backwards compatibility and typically solve the base case only - ju

You can implement your own libraries that do this easily. The std libraries have to maintain backwards compatibility and typically solve the base case only - just wrap them to do whatever ref counting or bounds checking you want