let base = function
      | Addr(b,_) -> b
      | Ptr p -> model_base p