let base_address _mem = function | Model.Loc(b,_) -> Model.Loc(b,zero) | Model.Addr p -> Model.Addr(model_addr p zero)