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