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')