Updated casting example