let fresh_win_ref: unit -> win_ref = let next_value = ref 0 in fun () -> incr next_value; { win_ref_value = !next_value }