1.4.2 Bug and assert

   1.4.2.1 Use assert to find bugs early
   1.4.2.2 Trace