w0[0] = w0l | w0r;
- append_0x80_4 (w0, w1, w2, w3, pw_len);
+ append_0x80_4x4 (w0, w1, w2, w3, pw_len);
w0_t[0] = w0[0];
w0_t[1] = w0[1];
w0[0] = w0l | w0r;
- append_0x80_4 (w0, w1, w2, w3, pw_len);
+ append_0x80_4x4 (w0, w1, w2, w3, pw_len);
w0_t[0] = w0[0];
w0_t[1] = w0[1];