let loc_of_value = function
    | M.V_pointer(_,loc) -> loc
    | _ -> assert false