WrongFormatError("Array([U64(15), I64(-1)])")