8326     int32_t decompressed = (int32_t)v.elements[i0] *  in libcrux_ml_kem_vector_portable_compress_decompress_ciphertext_coefficient_6b()  local
8328     decompressed = (decompressed << 1U) + ((int32_t)1 << (uint32_t)(int32_t)10);  in libcrux_ml_kem_vector_portable_compress_decompress_ciphertext_coefficient_6b()
8329     decompressed = decompressed >> (uint32_t)((int32_t)10 + (int32_t)1);  in libcrux_ml_kem_vector_portable_compress_decompress_ciphertext_coefficient_6b()
8330     v.elements[i0] = (int16_t)decompressed;  in libcrux_ml_kem_vector_portable_compress_decompress_ciphertext_coefficient_6b()
8390     int32_t decompressed = (int32_t)v.elements[i0] *  in libcrux_ml_kem_vector_portable_compress_decompress_ciphertext_coefficient_6b0()  local
8392     decompressed = (decompressed << 1U) + ((int32_t)1 << (uint32_t)(int32_t)11);  in libcrux_ml_kem_vector_portable_compress_decompress_ciphertext_coefficient_6b0()
8393     decompressed = decompressed >> (uint32_t)((int32_t)11 + (int32_t)1);  in libcrux_ml_kem_vector_portable_compress_decompress_ciphertext_coefficient_6b0()
8394     v.elements[i0] = (int16_t)decompressed;  in libcrux_ml_kem_vector_portable_compress_decompress_ciphertext_coefficient_6b0()
8695     int32_t decompressed = (int32_t)v.elements[i0] *  in libcrux_ml_kem_vector_portable_compress_decompress_ciphertext_coefficient_6b1()  local
8697     decompressed = (decompressed << 1U) + ((int32_t)1 << (uint32_t)(int32_t)4);  in libcrux_ml_kem_vector_portable_compress_decompress_ciphertext_coefficient_6b1()
8698     decompressed = decompressed >> (uint32_t)((int32_t)4 + (int32_t)1);  in libcrux_ml_kem_vector_portable_compress_decompress_ciphertext_coefficient_6b1()
8699     v.elements[i0] = (int16_t)decompressed;  in libcrux_ml_kem_vector_portable_compress_decompress_ciphertext_coefficient_6b1()
8759     int32_t decompressed = (int32_t)v.elements[i0] *  in libcrux_ml_kem_vector_portable_compress_decompress_ciphertext_coefficient_6b2()  local
8761     decompressed = (decompressed << 1U) + ((int32_t)1 << (uint32_t)(int32_t)5);  in libcrux_ml_kem_vector_portable_compress_decompress_ciphertext_coefficient_6b2()
8762     decompressed = decompressed >> (uint32_t)((int32_t)5 + (int32_t)1);  in libcrux_ml_kem_vector_portable_compress_decompress_ciphertext_coefficient_6b2()
8763     v.elements[i0] = (int16_t)decompressed;  in libcrux_ml_kem_vector_portable_compress_decompress_ciphertext_coefficient_6b2()