C448_EDDSA_ENCODE_RATIO
for (c = 1; c < C448_EDDSA_ENCODE_RATIO; c <<= 1)
for (c = 2; c < C448_EDDSA_ENCODE_RATIO; c <<= 1)