49     ctx->state[0] = 0x6A09E667;  in sha256_start()
50     ctx->state[1] = 0xBB67AE85;  in sha256_start()
51     ctx->state[2] = 0x3C6EF372;  in sha256_start()
52     ctx->state[3] = 0xA54FF53A;  in sha256_start()
53     ctx->state[4] = 0x510E527F;  in sha256_start()
54     ctx->state[5] = 0x9B05688C;  in sha256_start()
55     ctx->state[6] = 0x1F83D9AB;  in sha256_start()
56     ctx->state[7] = 0x5BE0CD19;  in sha256_start()
107     A = ctx->state[0];  in sha256_process()
108     B = ctx->state[1];  in sha256_process()
109     C = ctx->state[2];  in sha256_process()
110     D = ctx->state[3];  in sha256_process()
111     E = ctx->state[4];  in sha256_process()
112     F = ctx->state[5];  in sha256_process()
113     G = ctx->state[6];  in sha256_process()
114     H = ctx->state[7];  in sha256_process()
181     ctx->state[0] += A;  in sha256_process()
182     ctx->state[1] += B;  in sha256_process()
183     ctx->state[2] += C;  in sha256_process()
184     ctx->state[3] += D;  in sha256_process()
185     ctx->state[4] += E;  in sha256_process()
186     ctx->state[5] += F;  in sha256_process()
187     ctx->state[6] += G;  in sha256_process()
188     ctx->state[7] += H;  in sha256_process()
254     PUT_UINT32(ctx->state[0], digest,  0);  in sha256_finish()
255     PUT_UINT32(ctx->state[1], digest,  4);  in sha256_finish()
256     PUT_UINT32(ctx->state[2], digest,  8);  in sha256_finish()
257     PUT_UINT32(ctx->state[3], digest, 12);  in sha256_finish()
258     PUT_UINT32(ctx->state[4], digest, 16);  in sha256_finish()
259     PUT_UINT32(ctx->state[5], digest, 20);  in sha256_finish()
260     PUT_UINT32(ctx->state[6], digest, 24);  in sha256_finish()
261     PUT_UINT32(ctx->state[7], digest, 28);  in sha256_finish()