completed adding annotation for t_zset.c