biting into Jesus's skin, placing a FENCE W,O or stronger *) and r12 = [R];(addr|data);[W];rfi;[R] and r13 = [R];addr;[M];po;[W] let ppo = r1 ^ rol32(r1, 17); X(rd) = w1 @ w0; RETIRE_SUCCESS }