BYTE in COQ Handel | Konvertieren von ByteNova in Coq Inu auf SimpleSwap