let base = function
      | Loc l -> l.base
      | Addr (p,_) -> model_base p