let node_new (dn: node) (b: b)
  : node_ref * b =
    let dr = fresh_node_ref () in
    let b' = node_update dr dn b in
    (dr, b')