ossl_curve448_scalar_sub
ossl_curve448_scalar_sub(challenge_scalar, ossl_curve448_scalar_zero,
void ossl_curve448_scalar_sub(curve448_scalar_t out,