let addr = function
      | Loc(x,k) -> model_addr (D.Xindex.get_ind x) k 
      | Addr p -> p