============================================
Symbol        : clock_gettime (0x40006298)
Line          : clockgettime.c:36 (0x400062a0)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : clock_gettime (0x40006298)
Line          : clockgettime.c:39 (0x400062a8)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : pthread_getspecific (0x400062a4)
Line          : rbtree.h:546 (0x400062b8)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

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

Classification: NONE

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

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : sigemptyset (0x4002cf1c)
Line          : sigemptyset.c:31 (0x4002cf24)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

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