Por ejemplo, este código sería válido: