SIP_ROTL
ctx->v[1] = SIP_ROTL(ctx->v[1], 13);
ctx->v[3] = SIP_ROTL(ctx->v[3], 16);
ctx->v[0] = SIP_ROTL(ctx->v[0], 32);
ctx->v[1] = SIP_ROTL(ctx->v[1], 17);
ctx->v[3] = SIP_ROTL(ctx->v[3], 21);
ctx->v[2] = SIP_ROTL(ctx->v[2], 32);
H->v1 = SIP_ROTL(H->v1, 13);
H->v0 = SIP_ROTL(H->v0, 32);
H->v3 = SIP_ROTL(H->v3, 16);
H->v3 = SIP_ROTL(H->v3, 21);
H->v1 = SIP_ROTL(H->v1, 17);
H->v2 = SIP_ROTL(H->v2, 32);
ctx->v[1] = SIP_ROTL(ctx->v[1], 13);
ctx->v[3] = SIP_ROTL(ctx->v[3], 16);
ctx->v[0] = SIP_ROTL(ctx->v[0], 32);
ctx->v[1] = SIP_ROTL(ctx->v[1], 17);
ctx->v[3] = SIP_ROTL(ctx->v[3], 21);
ctx->v[2] = SIP_ROTL(ctx->v[2], 32);