add annotation for ziplist.h