Nótese que el tipo Exception_Occurrence es limitado, de modo que no