Test case (failing) illustrating the ClassCastException problem; fix
some other time.