more examples, type casting