GtkAda/examples/dynamic_cast
