El ejemplo produce la salida: