ED448_BITS
return ED448_BITS;
return ecx_get_params(key, params, ED448_BITS, ED448_SECURITY_BITS,
bits = ED448_BITS;