Symbol: LIBCRUX_ML_KEM_CONSTANTS_BITS_PER_RING_ELEMENT