B4
secret uint64_t B0, B1, B2, B3, B4;
B4 = A[4 + 5*y];
A[2 + 5*y] ^= ~B3 & B4;
A[3 + 5*y] ^= ~B4 & B0;
B4 = LD80C(0xaaaaaaaaaaaaaaac, -5, 4.16666666666666666712e-2L);
(x * B5 + B4.extu_ld)) + x2 * x * B3.extu_ld;
uwd->B4.r = ((buf[0] & 0x08) == 0x08);
buf = unwind_decode_ule128(buf, &uwd->B4.label);
struct unwind_desc_B4 B4;
case B4:
strc[rec_cnt].type = B4;
case B4:
if(rchain->udesc.B4.r)
printf("label = %ld) \n", rchain->udesc.B4.label);
case B4:
rchain->udesc.B4.r ? switchrecordstack(0) :