code: def get_memory(self, mode):
          
          mem = {
              "pre": self._translator.get_memory_init(),
              "post": self._translator.get_memory_curr(),
          }
  
          return mem[mode]
docs: Return a smt bit vector that represents a memory location.