void sha256_64 (uint block[16], uint digest[8]);