MEM_BLACK        4184 src/alloc.c      mem_z.color = MEM_BLACK;
MEM_BLACK        4293 src/alloc.c    	      x->parent->color = MEM_BLACK;
MEM_BLACK        4294 src/alloc.c    	      y->color = MEM_BLACK;
MEM_BLACK        4308 src/alloc.c    	      x->parent->color = MEM_BLACK;
MEM_BLACK        4320 src/alloc.c    	      x->parent->color = MEM_BLACK;
MEM_BLACK        4321 src/alloc.c    	      y->color = MEM_BLACK;
MEM_BLACK        4333 src/alloc.c    	      x->parent->color = MEM_BLACK;
MEM_BLACK        4342 src/alloc.c      mem_root->color = MEM_BLACK;
MEM_BLACK        4460 src/alloc.c      if (y->color == MEM_BLACK)
MEM_BLACK        4477 src/alloc.c      while (x != mem_root && x->color == MEM_BLACK)
MEM_BLACK        4485 src/alloc.c    	      w->color = MEM_BLACK;
MEM_BLACK        4491 src/alloc.c    	  if (w->left->color == MEM_BLACK && w->right->color == MEM_BLACK)
MEM_BLACK        4498 src/alloc.c    	      if (w->right->color == MEM_BLACK)
MEM_BLACK        4500 src/alloc.c    		  w->left->color = MEM_BLACK;
MEM_BLACK        4506 src/alloc.c    	      x->parent->color = MEM_BLACK;
MEM_BLACK        4507 src/alloc.c    	      w->right->color = MEM_BLACK;
MEM_BLACK        4518 src/alloc.c    	      w->color = MEM_BLACK;
MEM_BLACK        4524 src/alloc.c    	  if (w->right->color == MEM_BLACK && w->left->color == MEM_BLACK)
MEM_BLACK        4531 src/alloc.c    	      if (w->left->color == MEM_BLACK)
MEM_BLACK        4533 src/alloc.c    		  w->right->color = MEM_BLACK;
MEM_BLACK        4540 src/alloc.c    	      x->parent->color = MEM_BLACK;
MEM_BLACK        4541 src/alloc.c    	      w->left->color = MEM_BLACK;
MEM_BLACK        4548 src/alloc.c      x->color = MEM_BLACK;