let offset = function
      | Loc(_,k) -> k
      | Addr p -> model_offset p