COQ to NODEOPS Exchange | Convert Coq Inu to NodeOps on SimpleSwap