Así, el código rojo ha sido "inyectado" dentro del verde.