-(-f0.1.any4h) halt(8) JIP: 176 UIP: 192 { align1 1Q };
-halt(8) JIP: 16 UIP: 16 { align1 1Q };
-(-f0.1.any4h) halt(16) JIP: 176 UIP: 192 { align1 1H };
-halt(16) JIP: 16 UIP: 16 { align1 1H };
+(-f0.1.any4h) halt(8) JIP: LABEL0 UIP: LABEL0 { align1 1Q };
+halt(8) JIP: LABEL1 UIP: LABEL1 { align1 1Q };
+LABEL1:
+(-f0.1.any4h) halt(16) JIP: LABEL0 UIP: LABEL0 { align1 1H };
+halt(16) JIP: LABEL0 UIP: LABEL0 { align1 1H };
+LABEL0:
\ No newline at end of file