update tagged pointer design