let offset = function
      | Loc l -> l.off
      | Addr (p,_) -> model_offset p