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)