use uint64 instead of big.Word