La mayoría de la gente estaría mil veces mejor simplemente haciendo $punch por encima; como siempre, puedo estar equivocado, pero no creo que haya una jugada mejor en el mercado a la que puedas poner tamaño real