j10
j10 = x->input[10];
x10 = j10;
x10 = PLUS(x10,j10);
u32 j0, j1, j2, j3, j4, j5, j6, j7, j8, j9, j10, j11, j12, j13, j14, j15;
j10 = x->input[10];
x10 = j10;
x10 = PLUS(x10,j10);
u32 j0, j1, j2, j3, j4, j5, j6, j7, j8, j9, j10, j11, j12, j13, j14, j15;
u32 j0, j1, j2, j3, j4, j5, j6, j7, j8, j9, j10, j11, j12, j13, j14, j15;
j10 = x->input[10];
x10 = j10;
x10 = PLUS(x10,j10);