let base_address _  = function
    | Model.Addr(b,_) -> Model.Addr(b,F.i_zero)
    | Model.Ptr p -> Model.Ptr (model_ptr (model_base p) F.i_zero)