docs: def _normalize_array_idx(self, idx):
          """
          In Java, all array indices are represented by a 32 bit integer and
          consequently we are using in the Soot engine a 32bit bitvector for this.
          This function normalize the given index to follow this "convention".
  
          :return: Index as a 32bit bitvector.
          """
          if isinstance(idx, SimActionObject):
              idx = idx.to_claripy()
          if self.arch.memory_endness == "Iend_LE":
              return idx.reversed.get_bytes(index=0, size=4).reversed
          else:
              return idx.get_bytes(index=0, size=4)