GET_U32_BE
reg0 = GET_U32_BE(in, 0);
reg1 = GET_U32_BE(in, 1);
reg2 = GET_U32_BE(in, 2);
reg3 = GET_U32_BE(in, 3);
w0[0] = GET_U32_BE(userKey, 0);
w0[1] = GET_U32_BE(userKey, 1);
w0[2] = GET_U32_BE(userKey, 2);
w0[3] = GET_U32_BE(userKey, 3);
w1[0] = GET_U32_BE(userKey, 4);
w1[1] = GET_U32_BE(userKey, 5);
w1[2] = GET_U32_BE(userKey, 6);
w1[3] = GET_U32_BE(userKey, 7);