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)