hash512 doesn't work correctly
Function hash512 is not working correctly, in that it doesn't give the correct hash value. I have checked all of the code several times, but I just cannot find any mistakes. The base implementation (function hash) does work correctly, so it is definitely a problem in hash512 itself. I just cannot find it.