why is the answer not m7 at point 6?

Consider the C code below and the box-circle diagram to the right which illustrates the situation at point 1. Assume stack memory allocation for nested scopes is used (which means that memory for variables in a scope is allocated on the stack and that it is deallocated when the scope is exited). m1 a next m12 m2 O m11 m3 Z m12 m8 a[0] a[1] a[2] mg m10 m7 m4 p1 O a m7 next0m72 m5 p2 O m6 p3 struct T { int *a: struct T* next; 3: int ty: int tiz: struct T struct T* pl; struct T 02: struct T*+ p3: int maino { pl - (struct T*) malloc(sizeof(struct 1)); p2 -&xi y = (int *) malloc(sizeof(int)); { into a[3]; a[1] - (int *) malloc(sizeof(int)); 2 - 89(1): xa - z; // point 1 (*01).a = *z; // point 2 1 (p1).next = pi: // point 3 p2 - pl: // point 4 p3- &1; // point 5 p3 - *(83); // point 6 p3 = &(p3) // point 7 x.a - y // point & Z-X.ai // point 9 freex.a) // point 10 } At point 6, there is an arrow from location mo to location