============================================
Symbol        : pthread_getspecific (0x4000639c)
Line          : rbtree.h:546 (0x400063b0)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_key_create (0x4000632c)
Line          : keycreate.c:38 (0x40006340)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================