{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"self.llbb().add_assignment(self.location,"}]}
        self.llbb().add_assignment(self.location, modified_destination, val);
        let modified_destination = modified_ptr.dereference(self.location);
        // TODO(antoyo): handle `MemFlags::NONTEMPORAL`.