let offset = function
      | Addr(_,d) -> d
      | Ptr p -> model_offset p