let push_none t = if is_full t then grow_to_double_size t; t.data.(t.sz) <- t.dummy; t.sz <- t.sz + 1