xref: /xnu-11215.1.10/osfmk/corecrypto/cc_workspaces_generated.h (revision 8d741a5de7ff4191bf97d57b9f54c2f6d4a15585)

/* Copyright (c) (2021-2023) Apple Inc. All rights reserved.
 *
 * corecrypto is licensed under Apple Inc.’s Internal Use License Agreement (which
 * is contained in the License.txt file distributed with corecrypto) and only to
 * people who accept that license. IMPORTANT:  Any license rights granted to you by
 * Apple Inc. (if any) are limited to internal use within your organization only on
 * devices and computers you own or control, for the sole purpose of verifying the
 * security characteristics and correct functioning of the Apple Software.  You may
 * not, directly or indirectly, redistribute the Apple Software or any portions thereof.
 *
 * @APPLE_OSREFERENCE_LICENSE_HEADER_START@
 *
 * This file contains Original Code and/or Modifications of Original Code
 * as defined in and that are subject to the Apple Public Source License
 * Version 2.0 (the 'License'). You may not use this file except in
 * compliance with the License. The rights granted to you under the License
 * may not be used to create, or enable the creation or redistribution of,
 * unlawful or unlicensed copies of an Apple operating system, or to
 * circumvent, violate, or enable the circumvention or violation of, any
 * terms of an Apple operating system software license agreement.
 *
 * Please obtain a copy of the License at
 * http://www.opensource.apple.com/apsl/ and read it before using this file.
 *
 * The Original Code and all software distributed under the License are
 * distributed on an 'AS IS' basis, WITHOUT WARRANTY OF ANY KIND, EITHER
 * EXPRESS OR IMPLIED, AND APPLE HEREBY DISCLAIMS ALL SUCH WARRANTIES,
 * INCLUDING WITHOUT LIMITATION, ANY WARRANTIES OF MERCHANTABILITY,
 * FITNESS FOR A PARTICULAR PURPOSE, QUIET ENJOYMENT OR NON-INFRINGEMENT.
 * Please see the License for the specific language governing rights and
 * limitations under the License.
 *
 * @APPLE_OSREFERENCE_LICENSE_HEADER_END@
 */

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCBFV_CIPHERTEXT_MOD_SWITCH_DOWN_TO_SINGLE_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCBFV_CIPHERTEXT_MOD_SWITCH_DOWN_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCBFV_DCRT_PLAINTEXT_ENCODE_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCBFV_DECRYPT_CTX_INIT_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCBFV_DESERIALIZE_CIPHERTEXT_COEFF_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCBFV_DESERIALIZE_CIPHERTEXT_EVAL_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCBFV_DESERIALIZE_SEEDED_CIPHERTEXT_COEFF_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCBFV_GALOIS_KEY_LOAD_SINGLE_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCBFV_GALOIS_KEY_LOAD_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCBFV_GALOIS_KEY_SAVE_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCBFV_PARAM_CTX_INIT_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCBFV_RELIN_KEY_LOAD_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCBFV_RELIN_KEY_SAVE_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCBFV_SECRET_KEY_GENERATE_FROM_SEED_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCBFV_SECRET_KEY_GENERATE_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCBFV_SERIALIZE_CIPHERTEXT_COEFF_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCBFV_SERIALIZE_CIPHERTEXT_EVAL_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCBFV_SERIALIZE_SEEDED_CIPHERTEXT_COEFF_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCBFV_SERIALIZE_SEEDED_CIPHERTEXT_EVAL_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCCKG_CONTRIBUTOR_FINISH_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCCKG_OWNER_GENERATE_SHARE_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCCURVE25519_INTERNAL_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCCURVE448_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCDER_DECODE_RSA_PRIV_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCDH_CHECK_PUB_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCDH_COMPUTE_SHARED_SECRET_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCDH_GENERATE_KEY_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCDH_GENERATE_PRIVATE_KEY_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCDH_IMPORT_PRIV_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCDH_INIT_GP_FROM_BYTES_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCDH_IS_SAFE_PRIME_GROUP_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCDH_PAIRWISE_CONSISTENCY_CHECK_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC25519_ADD_OPT_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC25519_ADD_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC25519_FROM_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC25519_INV_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC25519_MUL121666_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC25519_MUL_OPT_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC25519_MUL_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC25519_REDC_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC25519_SQR_OPT_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC25519_SQR_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC25519_SUB_OPT_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC25519_SUB_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC448_ADD_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC448_FROM_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC448_INV_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC448_MUL_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC448_SQR_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC448_SUB_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCECDH_COMPUTE_SHARED_SECRET_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCECDH_FAST_COMPUTE_PUB_FROM_PRIV_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCECDH_FAST_COMPUTE_SHARED_SECRET_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCECDH_FAST_SCALAR_MULT_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCECDH_GENERATE_KEY_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCECDH_PAIRWISE_CONSISTENCY_CHECK_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCECDH_PCC_COMPUTE_PUB_FROM_PRIV_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCECDH_PCC_COMPUTE_SHARED_SECRET_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCECIES_DECRYPT_GCM_COMPOSITE_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCECIES_ENCRYPT_GCM_COMPOSITE_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCECIES_IMPORT_EPH_PUB_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC_ADD_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC_AFFINE_POINT_FROM_X_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC_AFFINIFY_HOMOGENEOUS_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC_AFFINIFY_JACOBIAN_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC_AFFINIFY_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC_AFFINIFY_X_ONLY_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC_BLINDING_OP_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC_COMPACT_GENERATE_KEY_CHECKSIGN_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC_COMPACT_GENERATE_KEY_CHECKVERIFY_AND_EXTRACT_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC_COMPACT_GENERATE_KEY_STEP_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC_COMPACT_GENERATE_KEY_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC_COMPACT_IMPORT_PUB_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC_COMPACT_TRANSFORM_KEY_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC_COMPRESSED_X962_IMPORT_PUB_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC_DER_EXPORT_DIVERSIFIED_PUB_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC_DER_EXPORT_PRIV_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC_DIVERSIFY_PRIV_TWIN_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC_DIVERSIFY_PUB_TWIN_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC_DIVERSIFY_PUB_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC_DIVERSIFY_TWIN_SCALARS_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC_DOUBLE_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC_EXTRACT_RS_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC_FULL_ADD_DEFAULT_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC_FULL_ADD_NORMALIZED_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC_FULL_ADD_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC_FULL_SUB_NORMALIZED_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC_FULL_SUB_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC_GENERATE_BLINDING_KEYS_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC_GENERATE_DIVERSIFIED_KEY_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC_GENERATE_KEY_DETERMINISTIC_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC_GENERATE_KEY_FIPS_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC_GENERATE_KEY_INTERNAL_FIPS_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC_GENERATE_KEY_INTERNAL_LEGACY_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC_GENERATE_SCALAR_FIPS_EXTRABITS_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC_GENERATE_SCALAR_FIPS_RETRY_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC_GENERATE_SCALAR_LEGACY_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC_IMPORT_AFFINE_POINT_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC_IMPORT_PUB_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC_IS_COMPACTABLE_POINT_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC_IS_POINT_PROJECTIVE_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC_IS_POINT_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC_MAKE_PUB_FROM_PRIV_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC_MULT_BLINDED_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC_MULT_DEFAULT_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC_MULT_INNER_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC_MULT_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC_MULT_XYCZADDC_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC_MULT_XYCZADD_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC_MULT_XYCZDBLJAC_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC_MULT_XYCZRECOVERCOEFFJAC_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC_PAIRWISE_CONSISTENCY_CHECK_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC_PRINT_PROJECTIVE_POINT_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC_PROJECTIFY_HOMOGENEOUS_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC_PROJECTIFY_JACOBIAN_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC_PROJECTIFY_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC_RFC6637_UNWRAP_KEY_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC_RFC6637_WRAP_CORE_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC_RFC6637_WRAP_KEY_DIVERSIFIED_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC_RFC6637_WRAP_KEY_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC_SIGN_COMPOSITE_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC_SIGN_INTERNAL_INNER_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC_SIGN_INTERNAL_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC_SIGN_MSG_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC_SIGN_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC_TWIN_MULT_NORMALIZE_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC_TWIN_MULT_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC_VALIDATE_POINT_AND_PROJECTIFY_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC_VALIDATE_PUB_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC_VERIFY_COMPOSITE_DIGEST_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC_VERIFY_COMPUTEMULTS_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC_VERIFY_DIGEST_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC_VERIFY_INTERNAL_WITH_BASE_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC_VERIFY_INTERNAL_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC_VERIFY_MSG_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC_VERIFY_SINGLEMULTS_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC_VERIFY_STRICT_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC_VERIFY_TWINMULT_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC_X963_IMPORT_PRIV_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCEC_X963_IMPORT_PUB_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCED25519_ADD_POINTS_UNIFIED_CACHED_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCED25519_ADD_POINTS_UNIFIED_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCED25519_ADD_PRECOMPUTED_POINT_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCED25519_DBL_POINT_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCED25519_DECODE_PUBLIC_AND_NEGATE_KEY_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCED25519_DOUBLE_SCALAR_MULT_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCED25519_FROM_ED25519_POINT_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCED25519_FULL_ADD_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCED25519_HASH_TO_SCALAR_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCED25519_POINT_TO_CACHED_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCED25519_SCALAR_MULT_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCED25519_TO_ED25519_POINT_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCED25519_VERIFY_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCED448_ADD_POINTS_UNIFIED_CACHED_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCED448_ADD_POINTS_UNIFIED_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCED448_ADD_POINTS_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCED448_ADD_PRECOMPUTED_POINT_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCED448_DBL_POINT_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCED448_DECODE_PUBLIC_KEY_AND_NEGATE_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCED448_DOUBLE_SCALAR_MULT_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCED448_FROM_ED448_POINT_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCED448_FULL_ADD_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCED448_MAKE_PUB_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCED448_POINT_TO_CACHED_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCED448_SCALAR_MULT_BASE_MASKED_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCED448_SCALAR_MULT_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCED448_SHAKE_TO_SCALAR_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCED448_SIGN_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCED448_TO_ED448_POINT_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCED448_VERIFY_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCH2C_CCZP_INV0_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCH2C_ENCODE_TO_CURVE_RO_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCH2C_ENCODE_TO_CURVE_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCH2C_HASH_TO_BASE_RFC_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCH2C_HASH_TO_BASE_SAE_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCH2C_HASH_TO_BASE_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCH2C_MAP_TO_CURVE_SSWU_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCH2C_MAP_TO_CURVE_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCH2C_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCN_ADD1_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCN_ADD_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCN_DIVMOD_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCN_DIV_EXACT_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCN_GCD_UPDATE_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCN_GCD_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCN_INVMOD_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCN_LCM_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCN_MOD_192_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCN_MOD_521_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCN_MUL_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCN_P224_FROM_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCN_P224_MUL_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCN_P224_REDC_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCN_P224_SQRT_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCN_P224_SQR_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCN_P224_TO_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCN_P256_FROM_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCN_P256_MUL_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCN_P256_REDC_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCN_P256_SQR_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCN_P256_TO_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCN_P384_FROM_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCN_P384_MUL_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCN_P384_REDC_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCN_P384_SQR_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCN_P384_TO_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCN_SUB_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCPOLYZP_PO2CYC_BASE_CONVERT_INIT_INV_PUNC_PROD_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCPOLYZP_PO2CYC_BASE_CONVERT_POLY_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCPOLYZP_PO2CYC_BASE_CONVERT_Q_INV_MOD_T_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCPOLYZP_PO2CYC_COEFF_SCALAR_MUL_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCPOLYZP_PO2CYC_CTX_CHAIN_INIT_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCPOLYZP_PO2CYC_CTX_INIT_NTT_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCPOLYZP_PO2CYC_DIVIDE_AND_ROUND_Q_LAST_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCPOLYZP_PO2CYC_EVAL_SCALAR_MUL_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCPOLYZP_PO2CYC_GEN_PRIMITIVE_ROOT_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCPOLYZP_PO2CYC_IS_PRIMITIVE_ROOT_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCPOLYZP_PO2CYC_MIN_PRIMITIVE_ROOT_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCPOLYZP_PO2CYC_MODULUS_TO_CCZP_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCPOLYZP_PO2CYC_SCALAR_DIVMOD_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCPRIME_PICK_RANDOM_BASE_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCPRIME_RABIN_MILLER_INIT_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCPRIME_RABIN_MILLER_ITERATION_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCPRIME_RABIN_MILLER_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCRNS_MODULUS_COMPUTE_MOD_FACTOR_VAR_TIME_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCRNS_MODULUS_COMPUTE_MOD_FACTOR_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCRNS_MODULUS_INIT_HELPER_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCRNS_MODULUS_INIT_VAR_TIME_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCRNS_MODULUS_INIT_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCRNS_MUL_MODULUS_INIT_VAR_TIME_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCRNS_MUL_MODULUS_INIT_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCRSABSSA_BLIND_MESSAGE_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCRSABSSA_SIGN_BLINDED_MESSAGE_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCRSABSSA_UNBLIND_SIGNATURE_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCRSABSSA_VERIFY_SIGNATURE_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCRSA_CHECK_DELTA_100BITS_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCRSA_COMPUTE_R_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCRSA_CRT_MAKEKEY_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCRSA_CRT_MAKE_FIPS186_KEY_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCRSA_DECRYPT_EME_PKCS1V15_BLINDED_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCRSA_DECRYPT_EME_PKCS1V15_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCRSA_DECRYPT_OAEP_BLINDED_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCRSA_DECRYPT_OAEP_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCRSA_EMSA_PSS_DECODE_CANARY_OUT_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCRSA_EMSA_PSS_DECODE_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCRSA_ENCRYPT_EME_PKCS1V15_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCRSA_ENCRYPT_OAEP_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCRSA_ENSURE_2P_GT_Q_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCRSA_FIND_NEXT_PRIME_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCRSA_FIND_PRIME_MULTIPLE_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCRSA_GENERATE_AUXILIARY_PRIMES_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCRSA_GENERATE_FIPS186_KEY_TRACE_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCRSA_GENERATE_FIPS186_PRIME_FACTORS_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCRSA_GENERATE_KEY_INTERNAL_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCRSA_GENERATE_PRIME_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCRSA_GENERATE_PROBABLE_PRIME_FROM_AUX_PRIMES_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCRSA_GENERATE_PROBABLE_PRIME_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCRSA_IMPORT_PRIV_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCRSA_INIT_PUB_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCRSA_IS_VALID_PRIME_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCRSA_MAKE_FIPS186_KEY_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCRSA_MAKE_PRIV_PARSE_INPUT_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCRSA_MAKE_PRIV_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCRSA_OAEP_DECODE_PARAMETER_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCRSA_OAEP_ENCODE_PARAMETER_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCRSA_PAIRWISE_CONSISTENCY_CHECK_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCRSA_PRIV_CRYPT_BLINDED_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCRSA_PRIV_CRYPT_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCRSA_PUB_CRYPT_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCRSA_RECOVER_PQ_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCRSA_RECOVER_PRIV_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCRSA_SEED_X_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCRSA_SIGN_PKCS1V15_BLINDED_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCRSA_SIGN_PSS_BLINDED_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCRSA_VERIFY_PKCS1V15_DIGEST_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCRSA_VERIFY_PKCS1V15_INTERNAL_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCRSA_VERIFY_PSS_DIGEST_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCRSA_VERIFY_PSS_MSG_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCSAE_GENERATE_COMMITMENT_FINALIZE_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCSAE_GENERATE_COMMITMENT_PARTIAL_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCSAE_GENERATE_COMMITMENT_SHARED_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCSAE_GENERATE_CONFIRMATION_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCSAE_GENERATE_H2C_COMMIT_FINALIZE_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCSAE_GENERATE_H2C_COMMIT_INIT_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCSAE_GENERATE_H2C_PT_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCSAE_GENERATE_KEYSEED_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCSAE_GEN_KEYS_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCSAE_GEN_PASSWORD_VALUE_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCSAE_GET_KEYS_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCSAE_VERIFY_COMMITMENT_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCSAE_VERIFY_CONFIRMATION_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCSAE_Y2_FROM_X_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCSPAKE_GENERATE_L_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCSPAKE_IMPORT_PUB_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCSPAKE_KEX_PROCESS_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCSPAKE_LAZY_GEN_XY_XY_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCSPAKE_REDUCE_W_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCSPAKE_VERIFIER_INITIALIZE_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCSPAKE_VERIFIER_INIT_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCSRP_CLIENT_PROCESS_CHALLENGE_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCSRP_CLIENT_START_AUTHENTICATION_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCSRP_DIGEST_CCN_CCN_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCSRP_DIGEST_CCN_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCSRP_DIGEST_UPDATE_CCN_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCSRP_GENERATE_CLIENT_PUBKEY_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCSRP_GENERATE_CLIENT_S_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCSRP_GENERATE_H_AMK_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCSRP_GENERATE_K_FROM_S_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCSRP_GENERATE_K_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCSRP_GENERATE_M_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCSRP_GENERATE_SERVER_PUBKEY_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCSRP_GENERATE_SERVER_S_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCSRP_GENERATE_U_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCSRP_GENERATE_VERIFIER_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCSRP_GENERATE_V_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCSRP_MGF_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCSRP_SERVER_COMPUTE_SESSION_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCSRP_SERVER_GENERATE_PUBLIC_KEY_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCSRP_SHA_INTERLEAVE_RFC2945_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCSS_SHAMIR_EVALUATE_POLY_TO_BUFFER_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCSS_SHAMIR_GENERATE_RANDOM_POLY_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCSS_SHAMIR_GENERATE_SHARE_POLY_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCSS_SHAMIR_LAGRANGE_PRODUCT_FROM_BAG_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCSS_SHAMIR_SHARE_BAG_RECOVER_SECRET_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCSS_SHAMIR_SHARE_GENERATOR_INIT_BACKER_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCX25519_SCALAR_MULT_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCX448_SCALAR_MULT_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCZP_ADD_DEFAULT_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCZP_ADD_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCZP_DIV2_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCZP_FROM_DEFAULT_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCZP_FROM_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCZP_GENERATE_NON_ZERO_ELEMENT_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCZP_GENERATE_RANDOM_ELEMENT_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCZP_INIT_COMPUTE_R2_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCZP_INIT_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCZP_INV_DEFAULT_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCZP_INV_FIELD_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCZP_INV_UPDATE_REDC_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCZP_INV_UPDATE_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCZP_INV_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCZP_IS_QUADRATIC_RESIDUE_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCZP_MM_FROM_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCZP_MM_INIT_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCZP_MM_INV_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCZP_MM_MOD_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCZP_MM_MUL_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCZP_MM_POWER_FAST_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCZP_MM_POWER_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCZP_MM_REDC_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCZP_MM_SQRT_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCZP_MM_SQR_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCZP_MM_TO_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCZP_MODN_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCZP_MOD_DEFAULT_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCZP_MOD_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCZP_MUL_DEFAULT_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCZP_MUL_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCZP_POWER_BLINDED_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCZP_POWER_FAST_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCZP_POWER_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCZP_SQRT_3MOD4_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCZP_SQRT_DEFAULT_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCZP_SQRT_TONELLI_SHANKS_PRECOMP_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCZP_SQRT_TONELLI_SHANKS_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCZP_SQRT_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCZP_SQR_DEFAULT_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCZP_SQR_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCZP_SUB_DEFAULT_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCZP_SUB_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCZP_TO_DEFAULT_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCZP_TO_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size CCZ_EXPMOD_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size FIPSPOST_POST_ECDH_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size FIPSPOST_POST_ECDSA_KAT_SIGN_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size FIPSPOST_POST_ECDSA_KAT_VERIFY_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size FIPSPOST_POST_ECDSA_SIGN_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size FIPSPOST_POST_ECDSA_VERIFY_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size FIPSPOST_POST_ECDSA_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size FIPSPOST_POST_FFDH_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size FIPSPOST_POST_RSA_ENC_DEC_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size FIPSPOST_POST_RSA_OAEP_CONSISTENCY_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size FIPSPOST_POST_RSA_OAEP_DECRYPT_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size FIPSPOST_POST_RSA_OAEP_KAT_WORKSPACE_N(cc_size n);

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCBFV_CIPHERTEXT_MOD_SWITCH_DOWN_TO_SINGLE_WORKSPACE_N(cc_size n)
{
	return CCZP_INV_FIELD_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCBFV_CIPHERTEXT_MOD_SWITCH_DOWN_WORKSPACE_N(cc_size n)
{
	return CCZP_INV_FIELD_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_PURE CC_INLINE cc_size
CCBFV_DCRT_PLAINTEXT_ENCODE_WORKSPACE_N(CC_UNUSED cc_size n)
{
	return 0;
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCBFV_DECRYPT_CTX_INIT_WORKSPACE_N(cc_size n)
{
	return CC_MAX_EVAL(CCPOLYZP_PO2CYC_CTX_INIT_WORKSPACE_N(n), CCPOLYZP_PO2CYC_BASE_CONVERT_INIT_WORKSPACE_N(n));
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCBFV_DESERIALIZE_CIPHERTEXT_COEFF_WORKSPACE_N(cc_size n)
{
	return CCPOLYZP_PO2CYC_DESERIALIZE_POLY_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCBFV_DESERIALIZE_CIPHERTEXT_EVAL_WORKSPACE_N(cc_size n)
{
	return CCPOLYZP_PO2CYC_DESERIALIZE_POLY_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCBFV_DESERIALIZE_SEEDED_CIPHERTEXT_COEFF_WORKSPACE_N(cc_size n)
{
	return CCBFV_DESERIALIZE_SEEDED_CIPHERTEXT_EVAL_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCBFV_GALOIS_KEY_LOAD_SINGLE_WORKSPACE_N(cc_size n)
{
	return CCBFV_DESERIALIZE_SEEDED_CIPHERTEXT_EVAL_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCBFV_GALOIS_KEY_LOAD_WORKSPACE_N(cc_size n)
{
	return CCBFV_DESERIALIZE_SEEDED_CIPHERTEXT_EVAL_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCBFV_GALOIS_KEY_SAVE_WORKSPACE_N(cc_size n)
{
	return CCPOLYZP_PO2CYC_SERIALIZE_POLY_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCBFV_PARAM_CTX_INIT_WORKSPACE_N(cc_size n)
{
	return CC_MAX_EVAL(CCBFV_DECRYPT_CTX_INIT_WORKSPACE_N(n), CCBFV_CIPHER_PLAIN_CTX_INIT_WORKSPACE_N(n));
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCBFV_RELIN_KEY_LOAD_WORKSPACE_N(cc_size n)
{
	return CCBFV_DESERIALIZE_SEEDED_CIPHERTEXT_EVAL_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCBFV_RELIN_KEY_SAVE_WORKSPACE_N(cc_size n)
{
	return CCPOLYZP_PO2CYC_SERIALIZE_POLY_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCBFV_SECRET_KEY_GENERATE_FROM_SEED_WORKSPACE_N(cc_size n)
{
	return ((((sizeof_struct_ccpolyzp_po2cyc_block_rng_state()) + (sizeof_cc_unit())) - 1) / (sizeof_cc_unit())) +
	       CCPOLYZP_PO2CYC_RANDOM_TERNARY_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCBFV_SECRET_KEY_GENERATE_WORKSPACE_N(cc_size n)
{
	return CCPOLYZP_PO2CYC_RANDOM_TERNARY_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCBFV_SERIALIZE_CIPHERTEXT_COEFF_WORKSPACE_N(cc_size n)
{
	return CCPOLYZP_PO2CYC_SERIALIZE_POLY_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCBFV_SERIALIZE_CIPHERTEXT_EVAL_WORKSPACE_N(cc_size n)
{
	return CCPOLYZP_PO2CYC_SERIALIZE_POLY_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCBFV_SERIALIZE_SEEDED_CIPHERTEXT_COEFF_WORKSPACE_N(cc_size n)
{
	return CCPOLYZP_PO2CYC_SERIALIZE_POLY_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCBFV_SERIALIZE_SEEDED_CIPHERTEXT_EVAL_WORKSPACE_N(cc_size n)
{
	return CCPOLYZP_PO2CYC_SERIALIZE_POLY_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCCKG_CONTRIBUTOR_FINISH_WORKSPACE_N(cc_size n)
{
	return (3 * n) + (3 * n) + (3 * n) + (3 * n) +
	       (((((sizeof_struct_ccec_pub_ctx()) + (3 * ((sizeof_cc_unit()) * n))) + (sizeof_cc_unit())) - 1) / (sizeof_cc_unit())) +
	       CCEC_MULT_BLINDED_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCCKG_OWNER_GENERATE_SHARE_WORKSPACE_N(cc_size n)
{
	return (((((sizeof_struct_ccec_full_ctx()) + (4 * ((sizeof_cc_unit()) * n))) + (sizeof_cc_unit())) - 1) /
	       (sizeof_cc_unit())) +
	       CCEC_PAIRWISE_CONSISTENCY_CHECK_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCCURVE25519_INTERNAL_WORKSPACE_N(cc_size n)
{
	return (n) + (n) + (n) + (n) + (n) + (n) + CCX25519_SCALAR_MULT_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCCURVE448_WORKSPACE_N(cc_size n)
{
	return (n) + (n) + (n) + (n) + (n) + (n) + CCX448_SCALAR_MULT_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCDER_DECODE_RSA_PRIV_WORKSPACE_N(cc_size n)
{
	return CCZP_INIT_COMPUTE_R2_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCDH_CHECK_PUB_WORKSPACE_N(cc_size n)
{
	return (n) + CCZP_MM_POWER_FAST_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCDH_COMPUTE_SHARED_SECRET_WORKSPACE_N(cc_size n)
{
	return (n) + CCDH_POWER_BLINDED_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCDH_GENERATE_KEY_WORKSPACE_N(cc_size n)
{
	return CCDH_PAIRWISE_CONSISTENCY_CHECK_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCDH_GENERATE_PRIVATE_KEY_WORKSPACE_N(cc_size n)
{
	return n;
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCDH_IMPORT_PRIV_WORKSPACE_N(cc_size n)
{
	return CCZP_MM_POWER_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCDH_INIT_GP_FROM_BYTES_WORKSPACE_N(cc_size n)
{
	return CCDH_IS_SAFE_PRIME_GROUP_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCDH_IS_SAFE_PRIME_GROUP_WORKSPACE_N(cc_size n)
{
	return (n) + CCPRIME_RABIN_MILLER_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCDH_PAIRWISE_CONSISTENCY_CHECK_WORKSPACE_N(cc_size n)
{
	return (n) + (((((sizeof_struct_ccdh_full_ctx()) + (sizeof_cc_unit())) - 1) / (sizeof_cc_unit())) + (2 * n)) + (n) + (n) +
	       CCDH_COMPUTE_SHARED_SECRET_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_PURE CC_INLINE cc_size
CCEC25519_ADD_OPT_WORKSPACE_N(CC_UNUSED cc_size n)
{
	return 0;
}

// This file is auto-generated. Please don't modify it.
CC_PURE CC_INLINE cc_size
CCEC25519_ADD_WORKSPACE_N(CC_UNUSED cc_size n)
{
	return 0;
}

// This file is auto-generated. Please don't modify it.
CC_PURE CC_INLINE cc_size
CCEC25519_FROM_WORKSPACE_N(CC_UNUSED cc_size n)
{
	return 0;
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCEC25519_INV_WORKSPACE_N(cc_size n)
{
	return (n) + (n) + (n) + CCZP_MUL_DEFAULT_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_PURE CC_INLINE cc_size
CCEC25519_MUL121666_WORKSPACE_N(CC_UNUSED cc_size n)
{
	return 0;
}

// This file is auto-generated. Please don't modify it.
CC_PURE CC_INLINE cc_size
CCEC25519_MUL_OPT_WORKSPACE_N(CC_UNUSED cc_size n)
{
	return 0;
}

// This file is auto-generated. Please don't modify it.
CC_PURE CC_INLINE cc_size
CCEC25519_MUL_WORKSPACE_N(CC_UNUSED cc_size n)
{
	return 0;
}

// This file is auto-generated. Please don't modify it.
CC_PURE CC_INLINE cc_size
CCEC25519_REDC_WORKSPACE_N(CC_UNUSED cc_size n)
{
	return 0;
}

// This file is auto-generated. Please don't modify it.
CC_PURE CC_INLINE cc_size
CCEC25519_SQR_OPT_WORKSPACE_N(CC_UNUSED cc_size n)
{
	return 0;
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCEC25519_SQR_WORKSPACE_N(cc_size n)
{
	return CCN_SQR_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_PURE CC_INLINE cc_size
CCEC25519_SUB_OPT_WORKSPACE_N(CC_UNUSED cc_size n)
{
	return 0;
}

// This file is auto-generated. Please don't modify it.
CC_PURE CC_INLINE cc_size
CCEC25519_SUB_WORKSPACE_N(CC_UNUSED cc_size n)
{
	return 0;
}

// This file is auto-generated. Please don't modify it.
CC_PURE CC_INLINE cc_size
CCEC448_ADD_WORKSPACE_N(CC_UNUSED cc_size n)
{
	return 0;
}

// This file is auto-generated. Please don't modify it.
CC_PURE CC_INLINE cc_size
CCEC448_FROM_WORKSPACE_N(CC_UNUSED cc_size n)
{
	return 0;
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCEC448_INV_WORKSPACE_N(cc_size n)
{
	return CCZP_MUL_DEFAULT_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_PURE CC_INLINE cc_size
CCEC448_MUL_WORKSPACE_N(CC_UNUSED cc_size n)
{
	return 0;
}

// This file is auto-generated. Please don't modify it.
CC_PURE CC_INLINE cc_size
CCEC448_SQR_WORKSPACE_N(CC_UNUSED cc_size n)
{
	return 0;
}

// This file is auto-generated. Please don't modify it.
CC_PURE CC_INLINE cc_size
CCEC448_SUB_WORKSPACE_N(CC_UNUSED cc_size n)
{
	return 0;
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCECDH_COMPUTE_SHARED_SECRET_WORKSPACE_N(cc_size n)
{
	return (3 * n) + (3 * n) + CCEC_MULT_BLINDED_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCECDH_FAST_COMPUTE_PUB_FROM_PRIV_WORKSPACE_N(cc_size n)
{
	return (3 * n) + CCECDH_FAST_SCALAR_MULT_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCECDH_FAST_COMPUTE_SHARED_SECRET_WORKSPACE_N(cc_size n)
{
	return (3 * n) + (n) + CCECDH_FAST_SCALAR_MULT_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCECDH_FAST_SCALAR_MULT_WORKSPACE_N(cc_size n)
{
	return (3 * n) + CCED448_FULL_ADD_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCECDH_GENERATE_KEY_WORKSPACE_N(cc_size n)
{
	return CCECDH_PAIRWISE_CONSISTENCY_CHECK_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCECDH_PAIRWISE_CONSISTENCY_CHECK_WORKSPACE_N(cc_size n)
{
	return (((((sizeof_struct_ccec_full_ctx()) + (4 * ((sizeof_cc_unit()) * n))) + (sizeof_cc_unit())) - 1) /
	       (sizeof_cc_unit())) +
	       (n) + (n) + CCECDH_COMPUTE_SHARED_SECRET_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCECDH_PCC_COMPUTE_PUB_FROM_PRIV_WORKSPACE_N(cc_size n)
{
	return CCEC_MAKE_PUB_FROM_PRIV_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCECDH_PCC_COMPUTE_SHARED_SECRET_WORKSPACE_N(cc_size n)
{
	return CCECDH_COMPUTE_SHARED_SECRET_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCECIES_DECRYPT_GCM_COMPOSITE_WORKSPACE_N(cc_size n)
{
	return (((((sizeof_struct_ccec_pub_ctx()) + (3 * ((sizeof_cc_unit()) * n))) + (sizeof_cc_unit())) - 1) / (sizeof_cc_unit())) +
	       (n) + CCECDH_COMPUTE_SHARED_SECRET_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCECIES_ENCRYPT_GCM_COMPOSITE_WORKSPACE_N(cc_size n)
{
	return (((((sizeof_struct_ccec_full_ctx()) + (4 * ((sizeof_cc_unit()) * n))) + (sizeof_cc_unit())) - 1) /
	       (sizeof_cc_unit())) +
	       (n) + CCECDH_PAIRWISE_CONSISTENCY_CHECK_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCECIES_IMPORT_EPH_PUB_WORKSPACE_N(cc_size n)
{
	return CCEC_COMPACT_IMPORT_PUB_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCEC_ADD_WORKSPACE_N(cc_size n)
{
	return (n) + (n) + (n) + CCEC_DOUBLE_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCEC_AFFINE_POINT_FROM_X_WORKSPACE_N(cc_size n)
{
	return (n) + (n) + CCZP_SQRT_TONELLI_SHANKS_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCEC_AFFINIFY_HOMOGENEOUS_WORKSPACE_N(cc_size n)
{
	return (n) + CCZP_INV_DEFAULT_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCEC_AFFINIFY_JACOBIAN_WORKSPACE_N(cc_size n)
{
	return (n) + (n) + CCZP_INV_DEFAULT_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCEC_AFFINIFY_WORKSPACE_N(cc_size n)
{
	return CCEC_AFFINIFY_JACOBIAN_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCEC_AFFINIFY_X_ONLY_WORKSPACE_N(cc_size n)
{
	return (n) + CCZP_INV_DEFAULT_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCEC_BLINDING_OP_WORKSPACE_N(cc_size n)
{
	return (3 * n) + (3 * n) + CCEC_MULT_BLINDED_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCEC_COMPACT_GENERATE_KEY_CHECKSIGN_WORKSPACE_N(cc_size n)
{
	return CCEC_SIGN_INTERNAL_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCEC_COMPACT_GENERATE_KEY_CHECKVERIFY_AND_EXTRACT_WORKSPACE_N(cc_size n)
{
	return CCEC_VERIFY_INTERNAL_WITH_BASE_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCEC_COMPACT_GENERATE_KEY_STEP_WORKSPACE_N(cc_size n)
{
	return CCEC_VERIFY_INTERNAL_WITH_BASE_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCEC_COMPACT_GENERATE_KEY_WORKSPACE_N(cc_size n)
{
	return CCEC_PAIRWISE_CONSISTENCY_CHECK_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCEC_COMPACT_IMPORT_PUB_WORKSPACE_N(cc_size n)
{
	return (3 * n) + CCEC_IMPORT_AFFINE_POINT_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCEC_COMPACT_TRANSFORM_KEY_WORKSPACE_N(cc_size n)
{
	return n;
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCEC_COMPRESSED_X962_IMPORT_PUB_WORKSPACE_N(cc_size n)
{
	return CCEC_X963_IMPORT_PUB_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCEC_DER_EXPORT_DIVERSIFIED_PUB_WORKSPACE_N(cc_size n)
{
	return ((2 * n) + 1) + ((2 * n) + 1);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCEC_DER_EXPORT_PRIV_WORKSPACE_N(cc_size n)
{
	return (n) + ((2 * n) + 1);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCEC_DIVERSIFY_PRIV_TWIN_WORKSPACE_N(cc_size n)
{
	return (n) + (n) + CC_MAX_EVAL(CCEC_MAKE_PUB_FROM_PRIV_WORKSPACE_N(n), CCEC_GENERATE_SCALAR_FIPS_EXTRABITS_WORKSPACE_N(n));
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCEC_DIVERSIFY_PUB_TWIN_WORKSPACE_N(cc_size n)
{
	return (n) + (n) + (3 * n) + (3 * n) + (3 * n) +
	       CC_MAX_EVAL(CCEC_MULT_BLINDED_WORKSPACE_N(n), CCEC_GENERATE_SCALAR_FIPS_EXTRABITS_WORKSPACE_N(n));
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCEC_DIVERSIFY_PUB_WORKSPACE_N(cc_size n)
{
	return (n) + CC_MAX_EVAL(CCEC_MAKE_PUB_FROM_PRIV_WORKSPACE_N(n), CCEC_GENERATE_SCALAR_FIPS_EXTRABITS_WORKSPACE_N(n));
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCEC_DIVERSIFY_TWIN_SCALARS_WORKSPACE_N(cc_size n)
{
	return CCEC_GENERATE_SCALAR_FIPS_EXTRABITS_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCEC_DOUBLE_WORKSPACE_N(cc_size n)
{
	return (n) + (n) + CCZP_MUL_DEFAULT_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCEC_EXTRACT_RS_WORKSPACE_N(cc_size n)
{
	return (n) + (n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCEC_FULL_ADD_DEFAULT_WORKSPACE_N(cc_size n)
{
	return CCEC_ADD_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCEC_FULL_ADD_NORMALIZED_WORKSPACE_N(cc_size n)
{
	return CCEC_ADD_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCEC_FULL_ADD_WORKSPACE_N(cc_size n)
{
	return CCED448_FULL_ADD_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCEC_FULL_SUB_NORMALIZED_WORKSPACE_N(cc_size n)
{
	return CCEC_ADD_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCEC_FULL_SUB_WORKSPACE_N(cc_size n)
{
	return CCEC_ADD_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCEC_GENERATE_BLINDING_KEYS_WORKSPACE_N(cc_size n)
{
	return (((((sizeof_struct_ccec_pub_ctx()) + (3 * ((sizeof_cc_unit()) * n))) + (sizeof_cc_unit())) - 1) / (sizeof_cc_unit())) +
	       (3 * n) + CCEC_BLINDING_OP_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCEC_GENERATE_DIVERSIFIED_KEY_WORKSPACE_N(cc_size n)
{
	return CCECDH_PAIRWISE_CONSISTENCY_CHECK_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCEC_GENERATE_KEY_DETERMINISTIC_WORKSPACE_N(cc_size n)
{
	return CCEC_PAIRWISE_CONSISTENCY_CHECK_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCEC_GENERATE_KEY_FIPS_WORKSPACE_N(cc_size n)
{
	return CCEC_PAIRWISE_CONSISTENCY_CHECK_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCEC_GENERATE_KEY_INTERNAL_FIPS_WORKSPACE_N(cc_size n)
{
	return (n) + CCEC_MAKE_PUB_FROM_PRIV_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCEC_GENERATE_KEY_INTERNAL_LEGACY_WORKSPACE_N(cc_size n)
{
	return (n) + CCEC_MAKE_PUB_FROM_PRIV_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCEC_GENERATE_SCALAR_FIPS_EXTRABITS_WORKSPACE_N(cc_size n)
{
	return (((128 + (sizeof_cc_unit())) - 1) / (sizeof_cc_unit())) + (n) + CCN_DIVMOD_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCEC_GENERATE_SCALAR_FIPS_RETRY_WORKSPACE_N(cc_size n)
{
	return n;
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCEC_GENERATE_SCALAR_LEGACY_WORKSPACE_N(cc_size n)
{
	return n;
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCEC_IMPORT_AFFINE_POINT_WORKSPACE_N(cc_size n)
{
	return (n) + CCEC_AFFINE_POINT_FROM_X_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCEC_IMPORT_PUB_WORKSPACE_N(cc_size n)
{
	return CCEC_X963_IMPORT_PUB_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCEC_IS_COMPACTABLE_POINT_WORKSPACE_N(cc_size n)
{
	return n;
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCEC_IS_POINT_PROJECTIVE_WORKSPACE_N(cc_size n)
{
	return (n) + (n) + (n) + CCZP_MUL_DEFAULT_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCEC_IS_POINT_WORKSPACE_N(cc_size n)
{
	return CCEC_IS_POINT_PROJECTIVE_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCEC_MAKE_PUB_FROM_PRIV_WORKSPACE_N(cc_size n)
{
	return (3 * n) + CCEC_MULT_BLINDED_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCEC_MULT_BLINDED_WORKSPACE_N(cc_size n)
{
	return (3 * n) + (n) + CCEC_MULT_DEFAULT_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCEC_MULT_DEFAULT_WORKSPACE_N(cc_size n)
{
	return (3 * n) + (n) + CCED448_FULL_ADD_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCEC_MULT_INNER_WORKSPACE_N(cc_size n)
{
	return (2 * n) + (2 * n) + (2 * n) + CCEC_MULT_XYCZADDC_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCEC_MULT_WORKSPACE_N(cc_size n)
{
	return CCEC_MULT_DEFAULT_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCEC_MULT_XYCZADDC_WORKSPACE_N(cc_size n)
{
	return (n) + (n) + (n) + CCZP_MUL_DEFAULT_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCEC_MULT_XYCZADD_WORKSPACE_N(cc_size n)
{
	return (n) + (n) + CCZP_MUL_DEFAULT_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCEC_MULT_XYCZDBLJAC_WORKSPACE_N(cc_size n)
{
	return (n) + (n) + (n) + CCZP_MUL_DEFAULT_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCEC_MULT_XYCZRECOVERCOEFFJAC_WORKSPACE_N(cc_size n)
{
	return CCZP_MUL_DEFAULT_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCEC_PAIRWISE_CONSISTENCY_CHECK_WORKSPACE_N(cc_size n)
{
	return (n) + (n) + CCEC_VERIFY_INTERNAL_WITH_BASE_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCEC_PRINT_PROJECTIVE_POINT_WORKSPACE_N(cc_size n)
{
	return (3 * n) + CCEC_AFFINIFY_JACOBIAN_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCEC_PROJECTIFY_HOMOGENEOUS_WORKSPACE_N(cc_size n)
{
	return CCZP_GENERATE_NON_ZERO_ELEMENT_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCEC_PROJECTIFY_JACOBIAN_WORKSPACE_N(cc_size n)
{
	return CCZP_MUL_DEFAULT_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCEC_PROJECTIFY_WORKSPACE_N(cc_size n)
{
	return CCZP_GENERATE_NON_ZERO_ELEMENT_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCEC_RFC6637_UNWRAP_KEY_WORKSPACE_N(cc_size n)
{
	return (n) +
	       (((((sizeof_struct_ccec_pub_ctx()) + (3 * ((sizeof_cc_unit()) * n))) + (sizeof_cc_unit())) - 1) / (sizeof_cc_unit())) +
	       (((((((2 + 1) + 48) + 1) + (2 * ((sizeof_cc_unit()) * n))) + 2) + 36) + ((sizeof_cc_unit()) * n)) +
	       CCECDH_COMPUTE_SHARED_SECRET_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCEC_RFC6637_WRAP_CORE_WORKSPACE_N(cc_size n)
{
	return (n) + ((2 * n) + 1) + CCECDH_COMPUTE_SHARED_SECRET_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCEC_RFC6637_WRAP_KEY_DIVERSIFIED_WORKSPACE_N(cc_size n)
{
	return (((((sizeof_struct_ccec_full_ctx()) + (4 * ((sizeof_cc_unit()) * n))) + (sizeof_cc_unit())) - 1) /
	       (sizeof_cc_unit())) +
	       CCECDH_PAIRWISE_CONSISTENCY_CHECK_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCEC_RFC6637_WRAP_KEY_WORKSPACE_N(cc_size n)
{
	return (((((sizeof_struct_ccec_full_ctx()) + (4 * ((sizeof_cc_unit()) * n))) + (sizeof_cc_unit())) - 1) /
	       (sizeof_cc_unit())) +
	       CCECDH_PAIRWISE_CONSISTENCY_CHECK_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCEC_SIGN_COMPOSITE_WORKSPACE_N(cc_size n)
{
	return (n) + (n) + CCEC_SIGN_INTERNAL_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCEC_SIGN_INTERNAL_INNER_WORKSPACE_N(cc_size n)
{
	return (n) + (3 * n) + CCEC_MULT_BLINDED_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCEC_SIGN_INTERNAL_WORKSPACE_N(cc_size n)
{
	return (n) + (n) + (n) + (3 * n) + CCEC_SIGN_INTERNAL_INNER_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCEC_SIGN_MSG_WORKSPACE_N(cc_size n)
{
	return CCEC_SIGN_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCEC_SIGN_WORKSPACE_N(cc_size n)
{
	return (n) + (n) + CCEC_SIGN_INTERNAL_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCEC_TWIN_MULT_NORMALIZE_WORKSPACE_N(cc_size n)
{
	return (n) + (n) + CCZP_MUL_DEFAULT_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCEC_TWIN_MULT_WORKSPACE_N(cc_size n)
{
	return (n) + (n) + (n) + (4 * (3 * n)) + CCED448_FULL_ADD_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCEC_VALIDATE_POINT_AND_PROJECTIFY_WORKSPACE_N(cc_size n)
{
	return CC_MAX_EVAL(CCZP_GENERATE_NON_ZERO_ELEMENT_WORKSPACE_N(n), CCEC_IS_POINT_PROJECTIVE_WORKSPACE_N(n));
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCEC_VALIDATE_PUB_WORKSPACE_N(cc_size n)
{
	return (3 * n) + CCEC_VALIDATE_POINT_AND_PROJECTIFY_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCEC_VERIFY_COMPOSITE_DIGEST_WORKSPACE_N(cc_size n)
{
	return (n) + (n) + CCEC_VERIFY_INTERNAL_WITH_BASE_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCEC_VERIFY_COMPUTEMULTS_WORKSPACE_N(cc_size n)
{
	return CCEC_TWIN_MULT_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCEC_VERIFY_DIGEST_WORKSPACE_N(cc_size n)
{
	return (n) + (n) + CCEC_VERIFY_INTERNAL_WITH_BASE_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCEC_VERIFY_INTERNAL_WITH_BASE_WORKSPACE_N(cc_size n)
{
	return (n) + (n) + (n) + (n) + (3 * n) + (3 * n) + (n) + (n) + CCEC_TWIN_MULT_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCEC_VERIFY_INTERNAL_WORKSPACE_N(cc_size n)
{
	return CCEC_VERIFY_INTERNAL_WITH_BASE_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCEC_VERIFY_MSG_WORKSPACE_N(cc_size n)
{
	return CCEC_VERIFY_DIGEST_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCEC_VERIFY_SINGLEMULTS_WORKSPACE_N(cc_size n)
{
	return (3 * n) + CCEC_MULT_DEFAULT_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCEC_VERIFY_STRICT_WORKSPACE_N(cc_size n)
{
	return (n) + (n) + CCEC_VERIFY_INTERNAL_WITH_BASE_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCEC_VERIFY_TWINMULT_WORKSPACE_N(cc_size n)
{
	return CCEC_TWIN_MULT_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCEC_X963_IMPORT_PRIV_WORKSPACE_N(cc_size n)
{
	return CCEC_X963_IMPORT_PUB_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCEC_X963_IMPORT_PUB_WORKSPACE_N(cc_size n)
{
	return (3 * n) + CCEC_IMPORT_AFFINE_POINT_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCED25519_ADD_POINTS_UNIFIED_CACHED_WORKSPACE_N(cc_size n)
{
	return (n) + (n) + CCZP_MUL_DEFAULT_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCED25519_ADD_POINTS_UNIFIED_WORKSPACE_N(cc_size n)
{
	return CCED25519_ADD_POINTS_UNIFIED_CACHED_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCED25519_ADD_PRECOMPUTED_POINT_WORKSPACE_N(cc_size n)
{
	return CCED25519_ADD_POINTS_UNIFIED_CACHED_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCED25519_DBL_POINT_WORKSPACE_N(cc_size n)
{
	return (n) + (n) + CCZP_MUL_DEFAULT_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCED25519_DECODE_PUBLIC_AND_NEGATE_KEY_WORKSPACE_N(cc_size n)
{
	return (n) + (n) + (n) + CCZP_POWER_FAST_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCED25519_DOUBLE_SCALAR_MULT_WORKSPACE_N(cc_size n)
{
	return (4 * n) + (8 * (4 * n)) + CCED25519_ADD_POINTS_UNIFIED_CACHED_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_PURE CC_INLINE cc_size
CCED25519_FROM_ED25519_POINT_WORKSPACE_N(CC_UNUSED cc_size n)
{
	return 0;
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCED25519_FULL_ADD_WORKSPACE_N(cc_size n)
{
	return (4 * n) + (4 * n) + CCED25519_ADD_POINTS_UNIFIED_CACHED_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCED25519_HASH_TO_SCALAR_WORKSPACE_N(cc_size n)
{
	return (2 * n) + CCZP_MODN_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCED25519_POINT_TO_CACHED_WORKSPACE_N(cc_size n)
{
	return CCZP_MUL_DEFAULT_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_PURE CC_INLINE cc_size
CCED25519_SCALAR_MULT_WORKSPACE_N(CC_UNUSED cc_size n)
{
	return 0;
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCED25519_TO_ED25519_POINT_WORKSPACE_N(cc_size n)
{
	return CCZP_MUL_DEFAULT_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCED25519_VERIFY_WORKSPACE_N(cc_size n)
{
	return (n) + (n) + (3 * n) + CCED25519_DOUBLE_SCALAR_MULT_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCED448_ADD_POINTS_UNIFIED_CACHED_WORKSPACE_N(cc_size n)
{
	return (n) + (n) + CCZP_MUL_DEFAULT_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCED448_ADD_POINTS_UNIFIED_WORKSPACE_N(cc_size n)
{
	return CCED448_ADD_POINTS_UNIFIED_CACHED_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCED448_ADD_POINTS_WORKSPACE_N(cc_size n)
{
	return (n) + (n) + CCZP_MUL_DEFAULT_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCED448_ADD_PRECOMPUTED_POINT_WORKSPACE_N(cc_size n)
{
	return CCED448_ADD_POINTS_UNIFIED_CACHED_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCED448_DBL_POINT_WORKSPACE_N(cc_size n)
{
	return (n) + (n) + CCZP_MUL_DEFAULT_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCED448_DECODE_PUBLIC_KEY_AND_NEGATE_WORKSPACE_N(cc_size n)
{
	return (n) + (n) + (n) + CCZP_POWER_FAST_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCED448_DOUBLE_SCALAR_MULT_WORKSPACE_N(cc_size n)
{
	return (4 * n) + (8 * (4 * n)) + CCED448_ADD_POINTS_UNIFIED_CACHED_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_PURE CC_INLINE cc_size
CCED448_FROM_ED448_POINT_WORKSPACE_N(CC_UNUSED cc_size n)
{
	return 0;
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCED448_FULL_ADD_WORKSPACE_N(cc_size n)
{
	return (4 * n) + (4 * n) + CCED448_ADD_POINTS_UNIFIED_CACHED_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCED448_MAKE_PUB_WORKSPACE_N(cc_size n)
{
	return (n) + (3 * n) + CCED448_SCALAR_MULT_BASE_MASKED_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCED448_POINT_TO_CACHED_WORKSPACE_N(cc_size n)
{
	return CCZP_MUL_DEFAULT_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCED448_SCALAR_MULT_BASE_MASKED_WORKSPACE_N(cc_size n)
{
	return (3 * n) + CCEC_MULT_BLINDED_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCED448_SCALAR_MULT_WORKSPACE_N(cc_size n)
{
	return (4 * n) + (4 * n) + CCED448_ADD_POINTS_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCED448_SHAKE_TO_SCALAR_WORKSPACE_N(cc_size n)
{
	return ((2 * n) + 1) + CCZP_MODN_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCED448_SIGN_WORKSPACE_N(cc_size n)
{
	return (n) + (n) + (n) + (3 * n) + CCED448_SCALAR_MULT_BASE_MASKED_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCED448_TO_ED448_POINT_WORKSPACE_N(cc_size n)
{
	return CCZP_MUL_DEFAULT_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCED448_VERIFY_WORKSPACE_N(cc_size n)
{
	return (n) + (n) + (3 * n) + CCED448_DOUBLE_SCALAR_MULT_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCH2C_CCZP_INV0_WORKSPACE_N(cc_size n)
{
	return CCZP_INV_DEFAULT_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCH2C_ENCODE_TO_CURVE_RO_WORKSPACE_N(cc_size n)
{
	return (n) + (n) +
	       (((((sizeof_struct_ccec_pub_ctx()) + (3 * ((sizeof_cc_unit()) * n))) + (sizeof_cc_unit())) - 1) / (sizeof_cc_unit())) +
	       (((((sizeof_struct_ccec_pub_ctx()) + (3 * ((sizeof_cc_unit()) * n))) + (sizeof_cc_unit())) - 1) / (sizeof_cc_unit())) +
	       CCH2C_MAP_TO_CURVE_SSWU_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCH2C_ENCODE_TO_CURVE_WORKSPACE_N(cc_size n)
{
	return CCH2C_ENCODE_TO_CURVE_RO_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCH2C_HASH_TO_BASE_RFC_WORKSPACE_N(cc_size n)
{
	return (2 * n) + CCZP_MM_MOD_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCH2C_HASH_TO_BASE_SAE_WORKSPACE_N(cc_size n)
{
	return (2 * n) + CCZP_MM_MOD_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCH2C_HASH_TO_BASE_WORKSPACE_N(cc_size n)
{
	return CCH2C_HASH_TO_BASE_RFC_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCH2C_MAP_TO_CURVE_SSWU_WORKSPACE_N(cc_size n)
{
	return (n) + (n) + (n) + (n) + CCZP_SQRT_TONELLI_SHANKS_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCH2C_MAP_TO_CURVE_WORKSPACE_N(cc_size n)
{
	return CCH2C_MAP_TO_CURVE_SSWU_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCH2C_WORKSPACE_N(cc_size n)
{
	return CCH2C_ENCODE_TO_CURVE_RO_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_PURE CC_INLINE cc_size
CCN_ADD1_WORKSPACE_N(CC_UNUSED cc_size n)
{
	return 0;
}

// This file is auto-generated. Please don't modify it.
CC_PURE CC_INLINE cc_size
CCN_ADD_WORKSPACE_N(CC_UNUSED cc_size n)
{
	return 0;
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCN_DIVMOD_WORKSPACE_N(cc_size n)
{
	return (n + 1) + (n + 1) + (n + 1);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCN_DIV_EXACT_WORKSPACE_N(cc_size n)
{
	return (n) + (n) + (n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCN_GCD_UPDATE_WORKSPACE_N(cc_size n)
{
	return (n + 1) + (n + 1);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCN_GCD_WORKSPACE_N(cc_size n)
{
	return (n) + (n) + (n) + CCN_GCD_UPDATE_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCN_INVMOD_WORKSPACE_N(cc_size n)
{
	return (n) + (n) + (n) + (n) + (n) + (n) + (n) + (n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCN_LCM_WORKSPACE_N(cc_size n)
{
	return (n) + CCN_GCD_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_PURE CC_INLINE cc_size
CCN_MOD_192_WORKSPACE_N(CC_UNUSED cc_size n)
{
	return 0;
}

// This file is auto-generated. Please don't modify it.
CC_PURE CC_INLINE cc_size
CCN_MOD_521_WORKSPACE_N(CC_UNUSED cc_size n)
{
	return 0;
}

// This file is auto-generated. Please don't modify it.
CC_PURE CC_INLINE cc_size
CCN_MUL_WORKSPACE_N(CC_UNUSED cc_size n)
{
	return 0;
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCN_P224_FROM_WORKSPACE_N(cc_size n)
{
	return 2 * n;
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCN_P224_MUL_WORKSPACE_N(cc_size n)
{
	return 2 * n;
}

// This file is auto-generated. Please don't modify it.
CC_PURE CC_INLINE cc_size
CCN_P224_REDC_WORKSPACE_N(CC_UNUSED cc_size n)
{
	return 0;
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCN_P224_SQRT_WORKSPACE_N(cc_size n)
{
	return CCZP_SQRT_TONELLI_SHANKS_PRECOMP_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCN_P224_SQR_WORKSPACE_N(cc_size n)
{
	return (2 * n) + CCN_SQR_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCN_P224_TO_WORKSPACE_N(cc_size n)
{
	return CCZP_MUL_DEFAULT_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCN_P256_FROM_WORKSPACE_N(cc_size n)
{
	return 2 * n;
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCN_P256_MUL_WORKSPACE_N(cc_size n)
{
	return 2 * n;
}

// This file is auto-generated. Please don't modify it.
CC_PURE CC_INLINE cc_size
CCN_P256_REDC_WORKSPACE_N(CC_UNUSED cc_size n)
{
	return 0;
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCN_P256_SQR_WORKSPACE_N(cc_size n)
{
	return (2 * n) + CCN_SQR_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCN_P256_TO_WORKSPACE_N(cc_size n)
{
	return CCZP_MUL_DEFAULT_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCN_P384_FROM_WORKSPACE_N(cc_size n)
{
	return 2 * n;
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCN_P384_MUL_WORKSPACE_N(cc_size n)
{
	return 2 * n;
}

// This file is auto-generated. Please don't modify it.
CC_PURE CC_INLINE cc_size
CCN_P384_REDC_WORKSPACE_N(CC_UNUSED cc_size n)
{
	return 0;
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCN_P384_SQR_WORKSPACE_N(cc_size n)
{
	return (2 * n) + CCN_SQR_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCN_P384_TO_WORKSPACE_N(cc_size n)
{
	return CCZP_MUL_DEFAULT_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_PURE CC_INLINE cc_size
CCN_SUB_WORKSPACE_N(CC_UNUSED cc_size n)
{
	return 0;
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCPOLYZP_PO2CYC_BASE_CONVERT_INIT_INV_PUNC_PROD_WORKSPACE_N(cc_size n)
{
	return CCZP_INV_FIELD_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_PURE CC_INLINE cc_size
CCPOLYZP_PO2CYC_BASE_CONVERT_POLY_WORKSPACE_N(CC_UNUSED cc_size n)
{
	return 0;
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCPOLYZP_PO2CYC_BASE_CONVERT_Q_INV_MOD_T_WORKSPACE_N(cc_size n)
{
	return CCZP_INV_FIELD_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCPOLYZP_PO2CYC_COEFF_SCALAR_MUL_WORKSPACE_N(cc_size n)
{
	return CCN_DIVMOD_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCPOLYZP_PO2CYC_CTX_CHAIN_INIT_WORKSPACE_N(cc_size n)
{
	return CCPOLYZP_PO2CYC_CTX_INIT_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCPOLYZP_PO2CYC_CTX_INIT_NTT_WORKSPACE_N(cc_size n)
{
	return CCZP_POWER_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCPOLYZP_PO2CYC_DIVIDE_AND_ROUND_Q_LAST_WORKSPACE_N(cc_size n)
{
	return CCZP_INV_FIELD_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCPOLYZP_PO2CYC_EVAL_SCALAR_MUL_WORKSPACE_N(cc_size n)
{
	return CCN_DIVMOD_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCPOLYZP_PO2CYC_GEN_PRIMITIVE_ROOT_WORKSPACE_N(cc_size n)
{
	return CCZP_POWER_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCPOLYZP_PO2CYC_IS_PRIMITIVE_ROOT_WORKSPACE_N(cc_size n)
{
	return CCZP_POWER_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCPOLYZP_PO2CYC_MIN_PRIMITIVE_ROOT_WORKSPACE_N(cc_size n)
{
	return CCZP_POWER_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCPOLYZP_PO2CYC_MODULUS_TO_CCZP_WORKSPACE_N(cc_size n)
{
	return CCZP_INIT_COMPUTE_R2_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_PURE CC_INLINE cc_size
CCPOLYZP_PO2CYC_SCALAR_DIVMOD_WORKSPACE_N(CC_UNUSED cc_size n)
{
	return 0;
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCPRIME_PICK_RANDOM_BASE_WORKSPACE_N(cc_size n)
{
	return (2 * n) + CCZP_MM_MOD_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCPRIME_RABIN_MILLER_INIT_WORKSPACE_N(cc_size n)
{
	return CCZP_INIT_COMPUTE_R2_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCPRIME_RABIN_MILLER_ITERATION_WORKSPACE_N(cc_size n)
{
	return (n) + (n) + CCZP_POWER_BLINDED_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCPRIME_RABIN_MILLER_WORKSPACE_N(cc_size n)
{
	return (((((((sizeof_struct_cczp()) + (sizeof_cc_unit())) - 1) / (sizeof_cc_unit())) + (1 + (2 * n))) + (2 * n)) + 1) + (n) +
	       CCPRIME_RABIN_MILLER_ITERATION_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCRNS_MODULUS_COMPUTE_MOD_FACTOR_VAR_TIME_WORKSPACE_N(cc_size n)
{
	return CCN_DIVMOD_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCRNS_MODULUS_COMPUTE_MOD_FACTOR_WORKSPACE_N(cc_size n)
{
	return CCN_DIVMOD_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCRNS_MODULUS_INIT_HELPER_WORKSPACE_N(cc_size n)
{
	return CCN_DIVMOD_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCRNS_MODULUS_INIT_VAR_TIME_WORKSPACE_N(cc_size n)
{
	return CCN_DIVMOD_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCRNS_MODULUS_INIT_WORKSPACE_N(cc_size n)
{
	return CCN_DIVMOD_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCRNS_MUL_MODULUS_INIT_VAR_TIME_WORKSPACE_N(cc_size n)
{
	return CCN_DIVMOD_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCRNS_MUL_MODULUS_INIT_WORKSPACE_N(cc_size n)
{
	return CCN_DIVMOD_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCRSABSSA_BLIND_MESSAGE_WORKSPACE_N(cc_size n)
{
	return (n) + (n) + (n) + (n) + (n) + CCZP_MM_POWER_FAST_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCRSABSSA_SIGN_BLINDED_MESSAGE_WORKSPACE_N(cc_size n)
{
	return (n) + (n) + CCRSA_PRIV_CRYPT_BLINDED_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCRSABSSA_UNBLIND_SIGNATURE_WORKSPACE_N(cc_size n)
{
	return (n) + (n) + (n) + CCRSA_VERIFY_PSS_DIGEST_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCRSABSSA_VERIFY_SIGNATURE_WORKSPACE_N(cc_size n)
{
	return CCRSA_VERIFY_PSS_DIGEST_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCRSA_CHECK_DELTA_100BITS_WORKSPACE_N(cc_size n)
{
	return (n) + (n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCRSA_COMPUTE_R_WORKSPACE_N(cc_size n)
{
	return (n) + CCN_INVMOD_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCRSA_CRT_MAKEKEY_WORKSPACE_N(cc_size n)
{
	return (n + 2) + ((n / 2) + 1) + ((n / 2) + 1) + CCZP_INV_DEFAULT_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCRSA_CRT_MAKE_FIPS186_KEY_WORKSPACE_N(cc_size n)
{
	return CCRSA_CRT_MAKEKEY_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCRSA_DECRYPT_EME_PKCS1V15_BLINDED_WORKSPACE_N(cc_size n)
{
	return (n) + CCRSA_PRIV_CRYPT_BLINDED_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCRSA_DECRYPT_EME_PKCS1V15_WORKSPACE_N(cc_size n)
{
	return CCRSA_DECRYPT_EME_PKCS1V15_BLINDED_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCRSA_DECRYPT_OAEP_BLINDED_WORKSPACE_N(cc_size n)
{
	return (n) + CCRSA_PRIV_CRYPT_BLINDED_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCRSA_DECRYPT_OAEP_WORKSPACE_N(cc_size n)
{
	return CCRSA_DECRYPT_OAEP_BLINDED_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCRSA_EMSA_PSS_DECODE_CANARY_OUT_WORKSPACE_N(cc_size n)
{
	return n;
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCRSA_EMSA_PSS_DECODE_WORKSPACE_N(cc_size n)
{
	return CCRSA_EMSA_PSS_DECODE_CANARY_OUT_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCRSA_ENCRYPT_EME_PKCS1V15_WORKSPACE_N(cc_size n)
{
	return (n) + CCZP_MM_POWER_FAST_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCRSA_ENCRYPT_OAEP_WORKSPACE_N(cc_size n)
{
	return (n) + CCZP_MM_POWER_FAST_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCRSA_ENSURE_2P_GT_Q_WORKSPACE_N(cc_size n)
{
	return n + 1;
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCRSA_FIND_NEXT_PRIME_WORKSPACE_N(cc_size n)
{
	return CCPRIME_RABIN_MILLER_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCRSA_FIND_PRIME_MULTIPLE_WORKSPACE_N(cc_size n)
{
	return (n) + (n) + (2 * n) + (n) +
	       (((((sizeof_struct_cczp()) + (sizeof_cc_unit())) - 1) / (sizeof_cc_unit())) + (1 + (2 * n))) +
	       CCZP_POWER_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCRSA_GENERATE_AUXILIARY_PRIMES_WORKSPACE_N(cc_size n)
{
	return CCPRIME_RABIN_MILLER_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCRSA_GENERATE_FIPS186_KEY_TRACE_WORKSPACE_N(cc_size n)
{
	return ((n / 2) + 1) + ((n / 2) + 1) + ((n / 2) + 1) +
	       CC_MAX_EVAL(CCRSA_PAIRWISE_CONSISTENCY_CHECK_WORKSPACE_N(n), CCRSA_GENERATE_FIPS186_PRIME_FACTORS_WORKSPACE_N(n));
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCRSA_GENERATE_FIPS186_PRIME_FACTORS_WORKSPACE_N(cc_size n)
{
	return ((n / 2) + 1) + ((n / 2) + 1) + CCRSA_GENERATE_PROBABLE_PRIME_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCRSA_GENERATE_KEY_INTERNAL_WORKSPACE_N(cc_size n)
{
	return CC_MAX_EVAL(CCRSA_PAIRWISE_CONSISTENCY_CHECK_WORKSPACE_N(n), CCRSA_IS_VALID_PRIME_WORKSPACE_N(n));
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCRSA_GENERATE_PRIME_WORKSPACE_N(cc_size n)
{
	return CCRSA_IS_VALID_PRIME_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCRSA_GENERATE_PROBABLE_PRIME_FROM_AUX_PRIMES_WORKSPACE_N(cc_size n)
{
	return (n) + (n) + (n) + CCRSA_IS_VALID_PRIME_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCRSA_GENERATE_PROBABLE_PRIME_WORKSPACE_N(cc_size n)
{
	return (n) + (n) + CCRSA_GENERATE_PROBABLE_PRIME_FROM_AUX_PRIMES_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCRSA_IMPORT_PRIV_WORKSPACE_N(cc_size n)
{
	return CCZP_INIT_COMPUTE_R2_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCRSA_INIT_PUB_WORKSPACE_N(cc_size n)
{
	return CCZP_INIT_COMPUTE_R2_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCRSA_IS_VALID_PRIME_WORKSPACE_N(cc_size n)
{
	return (n) + (n) + CCPRIME_RABIN_MILLER_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCRSA_MAKE_FIPS186_KEY_WORKSPACE_N(cc_size n)
{
	return ((n / 2) + 1) + ((n / 2) + 1) + ((n / 2) + 1) + ((n / 2) + 1) + CCRSA_GENERATE_PROBABLE_PRIME_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCRSA_MAKE_PRIV_PARSE_INPUT_WORKSPACE_N(cc_size n)
{
	return ((n / 2) + 1) + ((n / 2) + 1) + (n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCRSA_MAKE_PRIV_WORKSPACE_N(cc_size n)
{
	return CCRSA_CRT_MAKEKEY_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCRSA_OAEP_DECODE_PARAMETER_WORKSPACE_N(cc_size n)
{
	return (n) + (n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCRSA_OAEP_ENCODE_PARAMETER_WORKSPACE_N(cc_size n)
{
	return (n) + (n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCRSA_PAIRWISE_CONSISTENCY_CHECK_WORKSPACE_N(cc_size n)
{
	return (n) + (n) + (n) + (n) + CCRSA_SIGN_PKCS1V15_BLINDED_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCRSA_PRIV_CRYPT_BLINDED_WORKSPACE_N(cc_size n)
{
	return (n) + (n) + CC_MAX_EVAL(CCZP_MM_POWER_FAST_WORKSPACE_N(n), CCRSA_CRT_POWER_BLINDED_WORKSPACE_N(n));
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCRSA_PRIV_CRYPT_WORKSPACE_N(cc_size n)
{
	return CCRSA_PRIV_CRYPT_BLINDED_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCRSA_PUB_CRYPT_WORKSPACE_N(cc_size n)
{
	return CCZP_MM_POWER_FAST_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCRSA_RECOVER_PQ_WORKSPACE_N(cc_size n)
{
	return (n) + (n) + CCZP_INIT_COMPUTE_R2_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCRSA_RECOVER_PRIV_WORKSPACE_N(cc_size n)
{
	return (n) + (n) + (n) + CCRSA_FIND_PRIME_MULTIPLE_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCRSA_SEED_X_WORKSPACE_N(cc_size n)
{
	return n;
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCRSA_SIGN_PKCS1V15_BLINDED_WORKSPACE_N(cc_size n)
{
	return (n) + CCRSA_PRIV_CRYPT_BLINDED_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCRSA_SIGN_PSS_BLINDED_WORKSPACE_N(cc_size n)
{
	return (n) + CCRSA_PRIV_CRYPT_BLINDED_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCRSA_VERIFY_PKCS1V15_DIGEST_WORKSPACE_N(cc_size n)
{
	return CCRSA_VERIFY_PKCS1V15_INTERNAL_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCRSA_VERIFY_PKCS1V15_INTERNAL_WORKSPACE_N(cc_size n)
{
	return (n) + (n) + CCZP_MM_POWER_FAST_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCRSA_VERIFY_PSS_DIGEST_WORKSPACE_N(cc_size n)
{
	return (n) + (n) + CCZP_MM_POWER_FAST_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCRSA_VERIFY_PSS_MSG_WORKSPACE_N(cc_size n)
{
	return CCRSA_VERIFY_PSS_DIGEST_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCSAE_GENERATE_COMMITMENT_FINALIZE_WORKSPACE_N(cc_size n)
{
	return (3 * n) + CCSAE_GENERATE_COMMITMENT_SHARED_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCSAE_GENERATE_COMMITMENT_PARTIAL_WORKSPACE_N(cc_size n)
{
	return CCSAE_Y2_FROM_X_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCSAE_GENERATE_COMMITMENT_SHARED_WORKSPACE_N(cc_size n)
{
	return (n) + CCEC_MULT_BLINDED_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCSAE_GENERATE_CONFIRMATION_WORKSPACE_N(cc_size n)
{
	return n;
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCSAE_GENERATE_H2C_COMMIT_FINALIZE_WORKSPACE_N(cc_size n)
{
	return CCSAE_GENERATE_COMMITMENT_SHARED_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCSAE_GENERATE_H2C_COMMIT_INIT_WORKSPACE_N(cc_size n)
{
	return (n) + (n) +
	       (((((sizeof_struct_ccec_pub_ctx()) + (3 * ((sizeof_cc_unit()) * n))) + (sizeof_cc_unit())) - 1) / (sizeof_cc_unit())) +
	       (3 * n) + CCEC_MULT_BLINDED_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCSAE_GENERATE_H2C_PT_WORKSPACE_N(cc_size n)
{
	return (((((sizeof_struct_ccec_pub_ctx()) + (3 * ((sizeof_cc_unit()) * n))) + (sizeof_cc_unit())) - 1) / (sizeof_cc_unit())) +
	       CCH2C_ENCODE_TO_CURVE_RO_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCSAE_GENERATE_KEYSEED_WORKSPACE_N(cc_size n)
{
	return n;
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCSAE_GEN_KEYS_WORKSPACE_N(cc_size n)
{
	return ((((4 + 15) + (sizeof_cc_unit())) - 1) / (sizeof_cc_unit())) + n;
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCSAE_GEN_PASSWORD_VALUE_WORKSPACE_N(cc_size n)
{
	return (n) + (((((4 + 23) + (sizeof_cc_unit())) - 1) / (sizeof_cc_unit())) + n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCSAE_GET_KEYS_WORKSPACE_N(cc_size n)
{
	return (n) + (n) + CCZP_ADD_DEFAULT_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCSAE_VERIFY_COMMITMENT_WORKSPACE_N(cc_size n)
{
	return (n) + (3 * n) + (3 * n) + (3 * n) + (3 * n) + CCEC_MULT_BLINDED_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCSAE_VERIFY_CONFIRMATION_WORKSPACE_N(cc_size n)
{
	return n;
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCSAE_Y2_FROM_X_WORKSPACE_N(cc_size n)
{
	return (n) + (n) + (n) + CCZP_IS_QUADRATIC_RESIDUE_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCSPAKE_GENERATE_L_WORKSPACE_N(cc_size n)
{
	return (n) +
	       (((((sizeof_struct_ccec_full_ctx()) + (4 * ((sizeof_cc_unit()) * n))) + (sizeof_cc_unit())) - 1) /
	       (sizeof_cc_unit())) +
	       CCEC_PAIRWISE_CONSISTENCY_CHECK_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCSPAKE_IMPORT_PUB_WORKSPACE_N(cc_size n)
{
	return CCEC_X963_IMPORT_PUB_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCSPAKE_KEX_PROCESS_WORKSPACE_N(cc_size n)
{
	return (((((sizeof_struct_ccec_pub_ctx()) + (3 * ((sizeof_cc_unit()) * n))) + (sizeof_cc_unit())) - 1) / (sizeof_cc_unit())) +
	       (3 * n) + (3 * n) + (3 * n) + (3 * n) + (3 * n) + (3 * n) + (3 * n) + CCSPAKE_LAZY_GEN_XY_XY_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCSPAKE_LAZY_GEN_XY_XY_WORKSPACE_N(cc_size n)
{
	return (((((sizeof_struct_ccec_pub_ctx()) + (3 * ((sizeof_cc_unit()) * n))) + (sizeof_cc_unit())) - 1) / (sizeof_cc_unit())) +
	       (3 * n) + (3 * n) + (3 * n) + (n) + CCEC_MULT_BLINDED_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCSPAKE_REDUCE_W_WORKSPACE_N(cc_size n)
{
	return (n) + CCEC_GENERATE_SCALAR_FIPS_EXTRABITS_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCSPAKE_VERIFIER_INITIALIZE_WORKSPACE_N(cc_size n)
{
	return (((((sizeof_struct_ccec_pub_ctx()) + (3 * ((sizeof_cc_unit()) * n))) + (sizeof_cc_unit())) - 1) / (sizeof_cc_unit())) +
	       CCSPAKE_VERIFIER_INIT_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCSPAKE_VERIFIER_INIT_WORKSPACE_N(cc_size n)
{
	return (((((sizeof_struct_ccec_pub_ctx()) + (3 * ((sizeof_cc_unit()) * n))) + (sizeof_cc_unit())) - 1) / (sizeof_cc_unit())) +
	       CC_MAX_EVAL(CCEC_X963_IMPORT_PUB_WORKSPACE_N(n), CCEC_GENERATE_SCALAR_FIPS_EXTRABITS_WORKSPACE_N(n));
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCSRP_CLIENT_PROCESS_CHALLENGE_WORKSPACE_N(cc_size n)
{
	return (n) + (n) + (n) + (n) + (n) + CCSRP_GENERATE_CLIENT_S_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCSRP_CLIENT_START_AUTHENTICATION_WORKSPACE_N(cc_size n)
{
	return CCDH_POWER_BLINDED_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCSRP_DIGEST_CCN_CCN_WORKSPACE_N(cc_size n)
{
	return CCSRP_DIGEST_UPDATE_CCN_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCSRP_DIGEST_CCN_WORKSPACE_N(cc_size n)
{
	return n;
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCSRP_DIGEST_UPDATE_CCN_WORKSPACE_N(cc_size n)
{
	return n;
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCSRP_GENERATE_CLIENT_PUBKEY_WORKSPACE_N(cc_size n)
{
	return CCDH_POWER_BLINDED_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCSRP_GENERATE_CLIENT_S_WORKSPACE_N(cc_size n)
{
	return (2 * n) + (n) + CCDH_POWER_BLINDED_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCSRP_GENERATE_H_AMK_WORKSPACE_N(cc_size n)
{
	return CCSRP_DIGEST_UPDATE_CCN_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCSRP_GENERATE_K_FROM_S_WORKSPACE_N(cc_size n)
{
	return CCSRP_SHA_INTERLEAVE_RFC2945_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCSRP_GENERATE_K_WORKSPACE_N(cc_size n)
{
	return CCSRP_DIGEST_UPDATE_CCN_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCSRP_GENERATE_M_WORKSPACE_N(cc_size n)
{
	return CCSRP_DIGEST_CCN_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCSRP_GENERATE_SERVER_PUBKEY_WORKSPACE_N(cc_size n)
{
	return (n) + (n) + CCDH_POWER_BLINDED_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCSRP_GENERATE_SERVER_S_WORKSPACE_N(cc_size n)
{
	return (n) + (n) + CCDH_POWER_BLINDED_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCSRP_GENERATE_U_WORKSPACE_N(cc_size n)
{
	return CCSRP_DIGEST_UPDATE_CCN_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCSRP_GENERATE_VERIFIER_WORKSPACE_N(cc_size n)
{
	return (n) + CCDH_POWER_BLINDED_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCSRP_GENERATE_V_WORKSPACE_N(cc_size n)
{
	return CCDH_POWER_BLINDED_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCSRP_MGF_WORKSPACE_N(cc_size n)
{
	return n;
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCSRP_SERVER_COMPUTE_SESSION_WORKSPACE_N(cc_size n)
{
	return (n) + (n) + CCSRP_GENERATE_SERVER_S_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCSRP_SERVER_GENERATE_PUBLIC_KEY_WORKSPACE_N(cc_size n)
{
	return (n) + CCSRP_GENERATE_SERVER_PUBKEY_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCSRP_SHA_INTERLEAVE_RFC2945_WORKSPACE_N(cc_size n)
{
	return (n) + ((n + 1) / 2) + ((n + 1) / 2);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCSS_SHAMIR_EVALUATE_POLY_TO_BUFFER_WORKSPACE_N(cc_size n)
{
	return (n) + (n) + (n) + (n) + CCZP_MUL_DEFAULT_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCSS_SHAMIR_GENERATE_RANDOM_POLY_WORKSPACE_N(cc_size n)
{
	return CCZP_GENERATE_NON_ZERO_ELEMENT_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCSS_SHAMIR_GENERATE_SHARE_POLY_WORKSPACE_N(cc_size n)
{
	return CCZP_GENERATE_NON_ZERO_ELEMENT_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCSS_SHAMIR_LAGRANGE_PRODUCT_FROM_BAG_WORKSPACE_N(cc_size n)
{
	return (n) + CCZP_MUL_DEFAULT_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCSS_SHAMIR_SHARE_BAG_RECOVER_SECRET_WORKSPACE_N(cc_size n)
{
	return (n) + (n) + (n) + (n) + (n) + (n) + CCZP_INV_DEFAULT_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCSS_SHAMIR_SHARE_GENERATOR_INIT_BACKER_WORKSPACE_N(cc_size n)
{
	return CCZP_GENERATE_NON_ZERO_ELEMENT_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCX25519_SCALAR_MULT_WORKSPACE_N(cc_size n)
{
	return (2 * n) + (2 * n) + (n) + (n) + CCZP_MUL_DEFAULT_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCX448_SCALAR_MULT_WORKSPACE_N(cc_size n)
{
	return (2 * n) + (2 * n) + (n) + (n) + CCZP_MUL_DEFAULT_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCZP_ADD_DEFAULT_WORKSPACE_N(cc_size n)
{
	return n;
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCZP_ADD_WORKSPACE_N(cc_size n)
{
	return CCZP_ADD_DEFAULT_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_PURE CC_INLINE cc_size
CCZP_DIV2_WORKSPACE_N(CC_UNUSED cc_size n)
{
	return 0;
}

// This file is auto-generated. Please don't modify it.
CC_PURE CC_INLINE cc_size
CCZP_FROM_DEFAULT_WORKSPACE_N(CC_UNUSED cc_size n)
{
	return 0;
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCZP_FROM_WORKSPACE_N(cc_size n)
{
	return CCN_P224_FROM_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCZP_GENERATE_NON_ZERO_ELEMENT_WORKSPACE_N(cc_size n)
{
	return (n) + (n + (((((64 + (8 - 1)) / 8) + (sizeof_cc_unit())) - 1) / (sizeof_cc_unit()))) + CCN_DIVMOD_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCZP_GENERATE_RANDOM_ELEMENT_WORKSPACE_N(cc_size n)
{
	return (n + (((((64 + (8 - 1)) / 8) + (sizeof_cc_unit())) - 1) / (sizeof_cc_unit()))) + CCZP_MODN_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCZP_INIT_COMPUTE_R2_WORKSPACE_N(cc_size n)
{
	return (2 * n) + CCN_DIVMOD_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCZP_INIT_WORKSPACE_N(cc_size n)
{
	return CCZP_INIT_COMPUTE_R2_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCZP_INV_DEFAULT_WORKSPACE_N(cc_size n)
{
	return (n) + (n) + (n) + (n) + (n) + CCZP_MUL_DEFAULT_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCZP_INV_FIELD_WORKSPACE_N(cc_size n)
{
	return (n) + CCZP_POWER_FAST_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCZP_INV_UPDATE_REDC_WORKSPACE_N(cc_size n)
{
	return (n + 1) + (n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCZP_INV_UPDATE_WORKSPACE_N(cc_size n)
{
	return (n + 1) + (n + 1);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCZP_INV_WORKSPACE_N(cc_size n)
{
	return CCZP_INV_DEFAULT_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCZP_IS_QUADRATIC_RESIDUE_WORKSPACE_N(cc_size n)
{
	return (n) + (n) + (n) + CCZP_POWER_FAST_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCZP_MM_FROM_WORKSPACE_N(cc_size n)
{
	return 2 * n;
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCZP_MM_INIT_WORKSPACE_N(cc_size n)
{
	return CCZP_INIT_COMPUTE_R2_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_PURE CC_INLINE cc_size
CCZP_MM_INV_WORKSPACE_N(CC_UNUSED cc_size n)
{
	return 0;
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCZP_MM_MOD_WORKSPACE_N(cc_size n)
{
	return 2 * n;
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCZP_MM_MUL_WORKSPACE_N(cc_size n)
{
	return 2 * n;
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCZP_MM_POWER_FAST_WORKSPACE_N(cc_size n)
{
	return (n) + (n) + (((((sizeof_struct_cczp()) + (sizeof_cc_unit())) - 1) / (sizeof_cc_unit())) + (1 + (2 * n))) +
	       CC_MAX_EVAL(CCZP_POWER_FAST_WORKSPACE_N(n), CCZP_INIT_COMPUTE_R2_WORKSPACE_N(n));
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCZP_MM_POWER_WORKSPACE_N(cc_size n)
{
	return (((((sizeof_struct_cczp()) + (sizeof_cc_unit())) - 1) / (sizeof_cc_unit())) + (1 + (2 * n))) +
	       CCZP_POWER_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_PURE CC_INLINE cc_size
CCZP_MM_REDC_WORKSPACE_N(CC_UNUSED cc_size n)
{
	return 0;
}

// This file is auto-generated. Please don't modify it.
CC_PURE CC_INLINE cc_size
CCZP_MM_SQRT_WORKSPACE_N(CC_UNUSED cc_size n)
{
	return 0;
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCZP_MM_SQR_WORKSPACE_N(cc_size n)
{
	return (2 * n) + CCN_SQR_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCZP_MM_TO_WORKSPACE_N(cc_size n)
{
	return 2 * n;
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCZP_MODN_WORKSPACE_N(cc_size n)
{
	return 2 * n;
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCZP_MOD_DEFAULT_WORKSPACE_N(cc_size n)
{
	return CCZP_MODN_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCZP_MOD_WORKSPACE_N(cc_size n)
{
	return CCZP_MM_MOD_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCZP_MUL_DEFAULT_WORKSPACE_N(cc_size n)
{
	return (2 * n) + CCZP_MM_MOD_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCZP_MUL_WORKSPACE_N(cc_size n)
{
	return CCZP_MUL_DEFAULT_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCZP_POWER_BLINDED_WORKSPACE_N(cc_size n)
{
	return (n) + (n) + CCZP_POWER_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCZP_POWER_FAST_WORKSPACE_N(cc_size n)
{
	return (3 * n) + CCZP_MUL_DEFAULT_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCZP_POWER_WORKSPACE_N(cc_size n)
{
	return (4 * n) + (2 * n) + CCZP_MUL_DEFAULT_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCZP_SQRT_3MOD4_WORKSPACE_N(cc_size n)
{
	return (n) + CCZP_POWER_FAST_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCZP_SQRT_DEFAULT_WORKSPACE_N(cc_size n)
{
	return CCZP_SQRT_TONELLI_SHANKS_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCZP_SQRT_TONELLI_SHANKS_PRECOMP_WORKSPACE_N(cc_size n)
{
	return (n) + (n) + (n) + (n) + CCZP_POWER_FAST_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCZP_SQRT_TONELLI_SHANKS_WORKSPACE_N(cc_size n)
{
	return (n) + (n) + (n) + CCZP_SQRT_TONELLI_SHANKS_PRECOMP_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCZP_SQRT_WORKSPACE_N(cc_size n)
{
	return CCZP_SQRT_TONELLI_SHANKS_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCZP_SQR_DEFAULT_WORKSPACE_N(cc_size n)
{
	return (2 * n) + CCN_SQR_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCZP_SQR_WORKSPACE_N(cc_size n)
{
	return CCN_P224_SQR_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_PURE CC_INLINE cc_size
CCZP_SUB_DEFAULT_WORKSPACE_N(CC_UNUSED cc_size n)
{
	return 0;
}

// This file is auto-generated. Please don't modify it.
CC_PURE CC_INLINE cc_size
CCZP_SUB_WORKSPACE_N(CC_UNUSED cc_size n)
{
	return 0;
}

// This file is auto-generated. Please don't modify it.
CC_PURE CC_INLINE cc_size
CCZP_TO_DEFAULT_WORKSPACE_N(CC_UNUSED cc_size n)
{
	return 0;
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCZP_TO_WORKSPACE_N(cc_size n)
{
	return CCZP_MUL_DEFAULT_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
CCZ_EXPMOD_WORKSPACE_N(cc_size n)
{
	return (((((sizeof_struct_cczp()) + (sizeof_cc_unit())) - 1) / (sizeof_cc_unit())) + (1 + (2 * n))) + (n) +
	       CCZP_POWER_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
FIPSPOST_POST_ECDH_WORKSPACE_N(cc_size n)
{
	return (((((sizeof_struct_ccec_full_ctx()) + (4 * ((sizeof_cc_unit()) * n))) + (sizeof_cc_unit())) - 1) /
	       (sizeof_cc_unit())) +
	       (((((sizeof_struct_ccec_pub_ctx()) + (3 * ((sizeof_cc_unit()) * n))) + (sizeof_cc_unit())) - 1) / (sizeof_cc_unit())) +
	       CCECDH_COMPUTE_SHARED_SECRET_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
FIPSPOST_POST_ECDSA_KAT_SIGN_WORKSPACE_N(cc_size n)
{
	return FIPSPOST_POST_ECDSA_SIGN_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
FIPSPOST_POST_ECDSA_KAT_VERIFY_WORKSPACE_N(cc_size n)
{
	return FIPSPOST_POST_ECDSA_VERIFY_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
FIPSPOST_POST_ECDSA_SIGN_WORKSPACE_N(cc_size n)
{
	return (((((sizeof_struct_ccec_full_ctx()) + (4 * ((sizeof_cc_unit()) * n))) + (sizeof_cc_unit())) - 1) /
	       (sizeof_cc_unit())) +
	       CCEC_SIGN_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
FIPSPOST_POST_ECDSA_VERIFY_WORKSPACE_N(cc_size n)
{
	return (((((sizeof_struct_ccec_pub_ctx()) + (3 * ((sizeof_cc_unit()) * n))) + (sizeof_cc_unit())) - 1) / (sizeof_cc_unit())) +
	       CCEC_VERIFY_DIGEST_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
FIPSPOST_POST_ECDSA_WORKSPACE_N(cc_size n)
{
	return CC_MAX_EVAL(FIPSPOST_POST_ECDSA_VERIFY_WORKSPACE_N(n), FIPSPOST_POST_ECDSA_SIGN_WORKSPACE_N(n));
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
FIPSPOST_POST_FFDH_WORKSPACE_N(cc_size n)
{
	return (((((sizeof_struct_ccdh_pub_ctx()) + (sizeof_cc_unit())) - 1) / (sizeof_cc_unit())) + (1 * n)) +
	       (((((sizeof_struct_ccdh_full_ctx()) + (sizeof_cc_unit())) - 1) / (sizeof_cc_unit())) + (2 * n)) +
	       CCDH_COMPUTE_SHARED_SECRET_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
FIPSPOST_POST_RSA_ENC_DEC_WORKSPACE_N(cc_size n)
{
	return FIPSPOST_POST_RSA_OAEP_CONSISTENCY_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
FIPSPOST_POST_RSA_OAEP_CONSISTENCY_WORKSPACE_N(cc_size n)
{
	return (((((((sizeof_struct_cczp()) + 8) +
	       (3 * ((sizeof_cc_unit()) * (((((sizeof_cc_unit()) * n) + (sizeof_cc_unit())) - 1) / (sizeof_cc_unit()))))) +
	       ((((sizeof_cc_unit()) * (((((sizeof_cc_unit()) * n) + (sizeof_cc_unit())) - 1) / (sizeof_cc_unit()))) +
	       (((sizeof_struct_cczp()) + 8) * 2)) +
	       (7 * ((sizeof_cc_unit()) *
	       (((((((sizeof_cc_unit()) * n) + (sizeof_cc_unit())) - 1) / (sizeof_cc_unit())) / 2) + 1))))) +
	       (sizeof_cc_unit())) -
	       1) /
	       (sizeof_cc_unit())) +
	       CCRSA_DECRYPT_OAEP_BLINDED_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
FIPSPOST_POST_RSA_OAEP_DECRYPT_WORKSPACE_N(cc_size n)
{
	return CCRSA_DECRYPT_OAEP_BLINDED_WORKSPACE_N(n);
}

// This file is auto-generated. Please don't modify it.
CC_INLINE cc_size
FIPSPOST_POST_RSA_OAEP_KAT_WORKSPACE_N(cc_size n)
{
	return (((((((sizeof_struct_cczp()) + 8) +
	       (3 * ((sizeof_cc_unit()) * (((((sizeof_cc_unit()) * n) + (sizeof_cc_unit())) - 1) / (sizeof_cc_unit()))))) +
	       ((((sizeof_cc_unit()) * (((((sizeof_cc_unit()) * n) + (sizeof_cc_unit())) - 1) / (sizeof_cc_unit()))) +
	       (((sizeof_struct_cczp()) + 8) * 2)) +
	       (7 * ((sizeof_cc_unit()) *
	       (((((((sizeof_cc_unit()) * n) + (sizeof_cc_unit())) - 1) / (sizeof_cc_unit())) / 2) + 1))))) +
	       (sizeof_cc_unit())) -
	       1) /
	       (sizeof_cc_unit())) +
	       CCRSA_DECRYPT_OAEP_BLINDED_WORKSPACE_N(n);
}