Ejemplo de manejo de carrito en lenguaje SFC