crypto_kem_mlkem768_dec
crypto_kem_mlkem768_dec(uint8_t shared_secret[crypto_kem_mlkem768_BYTES],
#define crypto_kem_mlkem768_dec Fssh_crypto_kem_mlkem768_dec