MEM_RED          4476 src/alloc.c      x->color = MEM_RED;
MEM_RED          4502 src/alloc.c      while (x != mem_root && x->parent->color == MEM_RED)
MEM_RED          4513 src/alloc.c    	  if (y->color == MEM_RED)
MEM_RED          4520 src/alloc.c    	      x->parent->parent->color = MEM_RED;
MEM_RED          4534 src/alloc.c    	      x->parent->parent->color = MEM_RED;
MEM_RED          4543 src/alloc.c    	  if (y->color == MEM_RED)
MEM_RED          4547 src/alloc.c    	      x->parent->parent->color = MEM_RED;
MEM_RED          4559 src/alloc.c    	      x->parent->parent->color = MEM_RED;
MEM_RED          4708 src/alloc.c    	  if (w->color == MEM_RED)
MEM_RED          4711 src/alloc.c    	      x->parent->color = MEM_RED;
MEM_RED          4718 src/alloc.c    	      w->color = MEM_RED;
MEM_RED          4726 src/alloc.c    		  w->color = MEM_RED;
MEM_RED          4741 src/alloc.c    	  if (w->color == MEM_RED)
MEM_RED          4744 src/alloc.c    	      x->parent->color = MEM_RED;
MEM_RED          4751 src/alloc.c    	      w->color = MEM_RED;
MEM_RED          4759 src/alloc.c    		  w->color = MEM_RED;