printf("[KOGO][DEBUGGING] check value here: value: %ld -- index %d\n",RRC_CONFIGURATION_REQ(msg_p).radioresourceconfig_BR[j].rach_numberOfRA_Preambles,j);
*(*sib2)->radioResourceConfigCommon.rach_ConfigCommon.ext1->preambleTransMax_CE_r13=rrconfig->rach_maxHARQ_Msg3Tx;// to be re-initialized when we find the enum