m2               1056 user/usertests.c   void *m1, *m2;
m2               1061 user/usertests.c     while((m2 = malloc(10001)) != 0){
m2               1062 user/usertests.c       *(char**)m2 = m1;
m2               1063 user/usertests.c       m1 = m2;
m2               1066 user/usertests.c       m2 = *(char**)m1;
m2               1068 user/usertests.c       m1 = m2;