code: def DIV(self, a, b):
          
          try:
              result = Operators.UDIV(a, b)
          except ZeroDivisionError:
              result = 0
          return Operators.ITEBV(256, b == 0, 0, result)
docs: Integer division operation