Intercambio de SECOND a COQ| Convierte MetaDOS a Coq Inu en SimpleSwap