/* 140 */ _out = handler.createReply();
/* 141 */ StatusHelper.write(_out, get_status());
/* 142 */ break;
/* */ case 9:
/* 146 */ _out = handler.createReply();
/* 147 */ _out.write_ulong(hash_top_level_tran());
/* 148 */ break;
/* */ case 10:
/* */ try
/* */ {
/* 154 */ Synchronization _arg0 = SynchronizationHelper.read(_input);