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