let object_of_loc = function 
      | Loc l -> l.obj
      | Addr (_,cv) -> cv