201   void do_UnsafeGetRaw   (UnsafeGetRaw*    x) { /* nothing to do */ }

   201   void do_UnsafeGetRaw   (UnsafeGetRaw*    x) { /* nothing to do */ }

   202   void do_UnsafeGetObject(UnsafeGetObject* x) { /* nothing to do */ }

   202   void do_UnsafeGetObject(UnsafeGetObject* x) { /* nothing to do */ }

   203   void do_UnsafePrefetchRead (UnsafePrefetchRead*  x) { /* nothing to do */ }

   203   void do_UnsafePrefetchRead (UnsafePrefetchRead*  x) { /* nothing to do */ }

   204   void do_UnsafePrefetchWrite(UnsafePrefetchWrite* x) { /* nothing to do */ }

   204   void do_UnsafePrefetchWrite(UnsafePrefetchWrite* x) { /* nothing to do */ }

   205   void do_ProfileCall    (ProfileCall*     x) { /* nothing to do */ }

   205   void do_ProfileCall    (ProfileCall*     x) { /* nothing to do */ }

   206   void do_ProfileInvoke  (ProfileInvoke*   x) { /* nothing to do */ };

   207   void do_ProfileInvoke  (ProfileInvoke*   x) { /* nothing to do */ };

   207   void do_RuntimeCall    (RuntimeCall*     x) { /* nothing to do */ };

   208   void do_RuntimeCall    (RuntimeCall*     x) { /* nothing to do */ };

   208   void do_MemBar         (MemBar*          x) { /* nothing to do */ };

   209   void do_MemBar         (MemBar*          x) { /* nothing to do */ };

   209   void do_RangeCheckPredicate(RangeCheckPredicate* x) { /* nothing to do */ };

   210   void do_RangeCheckPredicate(RangeCheckPredicate* x) { /* nothing to do */ };

   210 #ifdef ASSERT

   211 #ifdef ASSERT