Implement Cast/CastReader and cast-example