printf("[DEBUGGING][KOGO] : pdsch CE MODE A : %ld\n",*(*sib2)->radioResourceConfigCommon.ext4->pdsch_ConfigCommon_v1310->pdsch_maxNumRepetitionCEmodeA_r13);
(*sib2)->radioResourceConfigCommon.ext4->pdsch_ConfigCommon_v1310->pdsch_maxNumRepetitionCEmodeB_r13=CALLOC(1,sizeof(long));// check if they're really long
printf("[DEBUGGING][KOGO] : pdsch CE MODE B : %ld\n",*(*sib2)->radioResourceConfigCommon.ext4->pdsch_ConfigCommon_v1310->pdsch_maxNumRepetitionCEmodeB_r13);
printf("[DEBUGGING][KOGO] : pusch CE MODE A : %ld\n",*(*sib2)->radioResourceConfigCommon.ext4->pusch_ConfigCommon_v1310->pusch_maxNumRepetitionCEmodeA_r13);
printf("[DEBUGGING][KOGO] : pusch CE MODE B : %ld\n",*(*sib2)->radioResourceConfigCommon.ext4->pusch_ConfigCommon_v1310->pusch_maxNumRepetitionCEmodeB_r13);