implement Mem_store.get_location