MEM_RED          4251 src/alloc.c      x->color = MEM_RED;
MEM_RED          4277 src/alloc.c      while (x != mem_root && x->parent->color == MEM_RED)
MEM_RED          4288 src/alloc.c    	  if (y->color == MEM_RED)
MEM_RED          4295 src/alloc.c    	      x->parent->parent->color = MEM_RED;
MEM_RED          4309 src/alloc.c    	      x->parent->parent->color = MEM_RED;
MEM_RED          4318 src/alloc.c    	  if (y->color == MEM_RED)
MEM_RED          4322 src/alloc.c    	      x->parent->parent->color = MEM_RED;
MEM_RED          4334 src/alloc.c    	      x->parent->parent->color = MEM_RED;
MEM_RED          4483 src/alloc.c    	  if (w->color == MEM_RED)
MEM_RED          4486 src/alloc.c    	      x->parent->color = MEM_RED;
MEM_RED          4493 src/alloc.c    	      w->color = MEM_RED;
MEM_RED          4501 src/alloc.c    		  w->color = MEM_RED;
MEM_RED          4516 src/alloc.c    	  if (w->color == MEM_RED)
MEM_RED          4519 src/alloc.c    	      x->parent->color = MEM_RED;
MEM_RED          4526 src/alloc.c    	      w->color = MEM_RED;
MEM_RED          4534 src/alloc.c    		  w->color = MEM_RED;