x2=(((1<<17)*((14*slot)+(pucch_pdu->start_symbol_index+symb)+1)*((2*pucch_pdu->dmrs_scrambling_id)+1))+(2*pucch_pdu->dmrs_scrambling_id))%(1U<<31);// c_init calculation according to TS38.211 subclause
#ifdef DEBUG_NR_PUCCH_RX
printf("slot %d, start_symbol_index %d, symbol %d, dmrs_scrambling_id %d\n",