reading Blort.class... method scalalocals ()V first 0018 block 0000 pred 000d live in:{} blort.j:@0000: Rop{invoke-static . <- . call throws }(blort.returnint:() I catch) . <- . next 0014 live out:{} block 0003 pred 0014 live in:{} blort.j:@0003: Rop{invoke-static . <- . call throws }(blort.returnint:() I catch) . <- . next 0015 live out:{} block 0006 pred 0015 live in:{} blort.j:@0006: Rop{invoke-static . <- . call throws }(blort.returnint:() I catch) . <- . next 0016 live out:{} block 0009 pred 0016 live in:{} blort.j:@0009: Rop{invoke-static . <- . call throws }(blort.returnint:() I catch) . <- . next 0017 live out:{} block 000c pred 0017 live in:{14} @????: mark-local-int . <- v14:"x"I blort.j:@001b: goto . <- . next 000e live out:{} block 000d pred 0018 live in:{} blort.j:@0000: goto . <- . next 0000 live out:{} block 000e pred 000c live in:{} blort.j:@001b: return-void . <- . next 0019 live out:{} block 0014 pred 0000 live in:{} blort.j:@0000: goto . <- . next 0003 live out:{} block 0015 pred 0003 live in:{} blort.j:@0003: goto . <- . next 0006 live out:{} block 0016 pred 0006 live in:{} blort.j:@0006: goto . <- . next 0009 live out:{} block 0017 pred 0009 live in:{} blort.j:@0009: Rop{move-result I <- . flows} v14:I <- . blort.j:@0009: goto . <- . next 000c live out:{14} block 0018 live in:{} @????: goto . <- . next 000d live out:{} block 0019 pred 000e live in:{} returns live out:{}