Implement the examples for type casting