add annotation for dict.h