code: def get_memory_expr(self, address, size, mode="post"):
          
          mem = self.get_memory(mode)
  
          return smtfunction.concat(8, *reversed([mem[address + i] for i in range(size)]))
docs: Return a smt bit vector that represents a memory location.