let is_full t = Array.length t.data = t.sz