prop_resultOfMixGammaShouldAlwaysBeOdd :: Word64 -> Bool
prop_resultOfMixGammaShouldAlwaysBeOdd = odd . c_mixGamma
prop_resultOfMixGammaShouldAlwaysBeOdd :: Word64 -> Bool
prop_resultOfMixGammaShouldAlwaysBeOdd = odd . c_mixGamma
prop_resultOfMixGammaShouldAlwaysBeOdd = odd . c_mixGamma