added casting example