pub const MBEDTLS_PSA_BUILTIN_ECC_SECP_R1_256: u32 = 1;