PUCCH_FormatConfig_t*formatConfig[NUMBER_PUCCH_FORMAT_NR-1];/* format 0 is not there */
uint8_tdl_DataToUL_ACK[NB_DL_DATA_TO_UL_ACK];/* table TS 38.213 Table 9.2.3-1: Mapping of PSDCH-to-HARQ_feedback timing indicator field values to numbers of slots */