<SYSTEM_TASK:>
Solve the following problem using Python, implementing the functions described below, one line at a time
<END_TASK>
<USER_TASK:>
Description:
 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)