============================================
Symbol        : null_initialize (0x40003d84)
Line          : devnull.c:62 (0x40003dc0)
Size in Bytes : 4
Reason        : NEVER TAKEN

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : null_write (0x40003df8)
Line          : devnull.c:161 (0x40003dfc)
Size in Bytes : 4
Reason        : ALWAYS TAKEN

Classification: NONE

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