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')