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

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

   161     void do_UnsafeGetAndSetObject(UnsafeGetAndSetObject* x) { /* nothing to do */ };

   161     void do_UnsafeGetAndSetObject(UnsafeGetAndSetObject* x) { /* nothing to do */ };

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

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

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

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

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

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

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

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

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

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

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

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

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

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

   169 #ifdef ASSERT

   170 #ifdef ASSERT