============================================
Symbol        : null_initialize (0x4000348c)
Line          : devnull.c:53 (0x4000349c)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : null_initialize (0x4000348c)
Line          : devnull.c:62 (0x400034c8)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

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