Some code to demonstrate how casting works.