let fresh_page_ref: unit -> page_ref = let next_value = ref 0 in fun () -> incr next_value; { page_ref_value = !next_value }