4.17.5.5 SHA256_OutputData() static void SHA256_OutputData (uint8_t * output, uint32_t value)[static]