This code raises an exception at run time because of an invalid cast