if(secondaryCellGroup->physicalCellGroupConfig->pdsch_HARQ_ACK_Codebook==1){// at this point the UE has multiple serving cells
dci_pdu->dai[0].nbits=4;
if(secondaryCellGroup->physicalCellGroupConfig->pdsch_HARQ_ACK_Codebook==NR_PhysicalCellGroupConfig__pdsch_HARQ_ACK_Codebook_dynamic){// FIXME in case of more than one serving cell