let win_new (w: win) (b: b) : win_ref * b = let wr = fresh_win_ref () in let b' = win_update wr w b in (wr, b')