============================================
Symbol        : _POSIX_Keys_Key_value_allocate (0x40014580)
Line          : key.c:41 (0x4001458c)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : nanosleep (0x40010b80)
Line          : nanosleep.c:48 (0x40010b9c)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_getspecific (0x40009650)
Line          : rbtree.h:549 (0x40009674)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_once (0x4001375c)
Line          : pthreadonce.c:33 (0x40013760)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_once (0x4001375c)
Line          : pthreadonce.c:33 (0x40013768)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_setspecific (0x400145c0)
Line          : rbtree.h:546 (0x400145e8)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_setspecific (0x400145c0)
Line          : keysetspecific.c:49 (0x40014640)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_setspecific (0x400145c0)
Line          : keysetspecific.c:53 (0x40014654)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_setspecific (0x400145c0)
Line          : rbtree.h:498 (0x40014698)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_setspecific (0x400145c0)
Line          : keysetspecific.c:96 (0x40014734)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_setspecific (0x400145c0)
Line          : rbtree.h:546 (0x40014750)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_setspecific (0x400145c0)
Line          : rbtree.h:549 (0x40014760)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : wait (0x40001274)
Line          : init.c:81 (0x40001290)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

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