Câmbio de HOOK para COQ| Converter Hooked Protocol para Coq Inu no SimpleSwap