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