Consider the following ANSI C program:#include #include struct Node{int value;struct Node ⋆next;};int main(){struct Node ⋆boxE, ⋆head, ⋆boxN; int index = 0;boxE = head = (struct Node ⋆) malloc (sizeof(struct Node));head -> value = index;for (index = 1; index <=3; index++){boxN = (struct Node ⋆) malloc(sizeof(struct Node));boxE -> next = boxN;boxN -> value = index;boxE = boxN; }for (index = 0; index <= 3; index++) {printf("value at index %d is %d\m", index, head -> value);head = head -> next;printf("value at index %d is %d\n", index + 1, head -> value);}}Which one of the statement below is correct about the program ?

• A. It has a missing return which will be reported as an error by the compiler.
• B. It dereferences an uninitialized pointer that may result in a run-time error.
• C. Upon execution, the program goes into an infinite loop.
• D. Upon execution, the program creates a linked-list of five nodes.