let d_select_update a =
  let (b, j) = d_select a in
  let (a, i, x) = d_update b in
    (a, i, x, j)