Symbol: LIBCRUX_ML_KEM_CONSTANTS_SHARED_SECRET_SIZE