void sha1_64 (uint block[16], uint digest[5]);