let page_assoc_valid (pr: page_ref) (b: b) : page = begin try List.assoc pr b.browser_pages with | Not_found -> assert false end