Convert all examples to use the new-style cast.
Use a view bound for casting.