Update hammingball64.c