let render_page (pr: page_ref) (b: b)
  : rendered_doc option =          
    assert (page_valid pr b);    
    begin match (page_assoc_valid pr b).page_document with
    | None -> None
    | Some(dr) ->
        begin match render_doc_as_list dr b with
        | [] -> None
        | rd :: _ -> Some(rd)
        end
    end