The following C Code gives a segmentation fault:

```
#include <stdio.h>
#include <stdint.h>

int main(){
        uint32_t *a;
        uint32_t idx=1233245613;
        a[idx]=1233;
        return 0;
}

```

How can I use uint32\_t as index of an array in C? Or how can I use array like structure which can get uint32\_t and 12 digit numbers as an index?

I'd appreciate any kind of help.