será compilado como la siguiente secuencia dentro de una definición: