docs: def tmp_expr(self, tmp):
          """
          Returns the Claripy expression of a VEX temp value.
  
          :param tmp: the number of the tmp
          :param simplify: simplify the tmp before returning it
          :returns: a Claripy expression of the tmp
          """
          self.state._inspect('tmp_read', BP_BEFORE, tmp_read_num=tmp)
          try:
              v = self.temps[tmp]
              if v is None:
                  raise SimValueError('VEX temp variable %d does not exist. This is usually the result of an incorrect '
                                      'slicing.' % tmp)
          except IndexError:
              raise SimValueError("Accessing a temp that is illegal in this tyenv")
          self.state._inspect('tmp_read', BP_AFTER, tmp_read_expr=v)
          return v