============================================
Symbol        : thrd_join (0x40024b20)
Line          : thrd.c:106 (0x40024b38)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : thrd_join (0x40024b20)
Line          : thrd.c:108 (0x40024b40)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

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