De todas formas, el código que sigue es correcto y compilará sin problemas: