text: def mod(x, y):
      """Returns the positive remainder of x divided by y"""
      # In Python, this function is identical to the remainder operator.
      # However, many other languages define remainders differently
      assert y > 0
      return x % y