let fill t x = assert_positive "fill" x; let old_level = t.level in t.level <- C.min t.size (C.(+) old_level x)