def read_int(self, where, size=None, force=False):
if size is None:<EOL><INDENT>size = self.address_bit_size<EOL><DEDENT>assert size in SANE_SIZES<EOL>self._publish('<STR_LIT>', where, size)<EOL>data = self._memory.read(where, size // <NUM_LIT:8>, force)<EOL>assert (<NUM_LIT:8> * len(data)) == size<EOL>value = Operators.CONCAT(size, *map(Operators.ORD, reversed(data)))<EOL>self._publish('<STR_LIT>', where, value, size)<EOL>return value<EOL>
Reads int from memory

:param int where: address to read from
:param size: number of bits to read
:return: the value read
:rtype: int or BitVec
:param force: whether to ignore memory permissions