let rec node_page (dr: node_ref) (b: b)
  : page_ref option =
    begin match node_parent dr b with
    | No_parent -> None
    | Page_parent(pr) -> Some(pr)
    | Parent_node(dr1) -> node_page dr1 b
    end