let
set_size t sz = t.sz <- sz