Implementacao semantica do segundo case e do goto