============================================
Index                : 3
Symbol               : _CORE_message_queue_Initialize (0x200fbb4)
Starting Line        : coremsg.c:86 (0x200fc00)
Ending Line          : coremsg.c:86 (0x200fc03)
Size in Bytes        : 4
Size in Instructions : 1

Classification: Simple Test Case

Explanation:
We need to request enough messages of a certain size that the math
overflows to less than a single message. 
============================================
============================================
Index                : 5
Symbol               : _CORE_mutex_Seize (0x2006ffc)
Starting Line        : coremutexseize.c:39 (0x20070c8)
Ending Line          : coremutexseize.c:39 (0x20070cf)
Size in Bytes        : 8
Size in Instructions : 2

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 28
Symbol               : _RBTree_Extract_unprotected (0x20086f8)
Starting Line        : rbtreeextract.c:140 (0x2008788)
Ending Line          : rbtreeextract.c:140 (0x200878b)
Size in Bytes        : 4
Size in Instructions : 1

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 29
Symbol               : _RBTree_Extract_unprotected (0x20086f8)
Starting Line        : rbtreeextract.c:142 (0x2008794)
Ending Line          : rbtreeextract.c:177 (0x200883f)
Size in Bytes        : 172
Size in Instructions : 43

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 31
Symbol               : _RBTree_Extract_unprotected (0x20086f8)
Starting Line        : rbtreeextract.c:210 (0x20088b8)
Ending Line          : rbtreeextract.c:210 (0x20088bf)
Size in Bytes        : 8
Size in Instructions : 2

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 33
Symbol               : _RBTree_Extract_validate_unprotected (0x2008500)
Starting Line        : rbtree.inl:202 (0x200852c)
Ending Line          : rbtree.inl:202 (0x200852f)
Size in Bytes        : 4
Size in Instructions : 1

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 35
Symbol               : _RBTree_Extract_validate_unprotected (0x2008500)
Starting Line        : rbtreeextract.c:57 (0x2008580)
Ending Line          : rbtreeextract.c:57 (0x2008583)
Size in Bytes        : 4
Size in Instructions : 1

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Index                : 39
Symbol               : _RBTree_Find_header (0x2008908)
Starting Line        : rbtree.inl:308 (0x2008930)
Ending Line          : rbtree.inl:308 (0x2008933)
Size in Bytes        : 4
Size in Instructions : 1

Classification: NONE

Explanation:
No Explanation
============================================
============================================
Symbol        : _RBTree_Initialize

          *** NEVER REFERENCED ***

This symbol was never referenced by an analyzed executable.
Therefore there is no size or disassembly for this symbol.
This could be due to symbol misspelling or lack of a test for
this symbol.
============================================
============================================
Index                : 50
Symbol               : _Scheduler_priority_Yield (0x2008644)
Starting Line        : schedulerpriorityyield.c:52 (0x20086e8)
Ending Line          : schedulerpriorityyield.c:52 (0x20086eb)
Size in Bytes        : 4
Size in Instructions : 1

Classification: Simple Test Case

Explanation:
Not Executed
Same test case as schedulerpriorityyield.c:51
============================================
============================================
Index                : 66
Symbol               : _Timer_server_Body (0x201706c)
Starting Line        : timerserver.c:345 (0x2017184)
Ending Line          : timerserver.c:345 (0x201718f)
Size in Bytes        : 12
Size in Instructions : 3

Classification: NONE

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