j53
buf[k] = j53(a, b);
return j53(a, b);
buf[k] = j53(a, b);
return j53(a, b);
buf[4 * k] = j53(r12w());
buf[4 * k + 1] = j53(r12w());
buf[4 * k + 3] = j53(r12w());
buf[4 * k + 2] = j53(r12w());
return j53(a);