code: def MOD(self, a, b):
          
          try:
              result = Operators.ITEBV(256, b == 0, 0, a % b)
          except ZeroDivisionError:
              result = 0
          return result
docs: Modulo remainder operation