Similarly here: what makes sure that `*upd_entry` hasn't changed between the read here and the later read?