let upd_obj l cv = {base = l.base ; off = l.off ; obj = cv}