let base_address _mem = function
    | Loc l -> Loc (upd_off l F.i_zero)
    | Addr (p,cv) ->   Addr(model_addr (model_base p) F.i_zero,cv)