add annotation for redis.h