EXTERN uint32_t reverseBits(uint32_t num, uint8_t numBits);
EXTERN void fillDlDciPayload(uint8_t *buf, uint8_t *bytePos, uint8_t *bitPos,\
EXTERN uint32_t reverseBits(uint32_t num, uint8_t numBits);
EXTERN void fillDlDciPayload(uint8_t *buf, uint8_t *bytePos, uint8_t *bitPos,\