m2               1059 user/usertests.c   void *m1, *m2;
m2               1064 user/usertests.c     while((m2 = malloc(10001)) != 0){
m2               1065 user/usertests.c       *(char**)m2 = m1;
m2               1066 user/usertests.c       m1 = m2;
m2               1069 user/usertests.c       m2 = *(char**)m1;
m2               1071 user/usertests.c       m1 = m2;