MEM_BLACK        4409 src/alloc.c      mem_z.color = MEM_BLACK;
MEM_BLACK        4518 src/alloc.c    	      x->parent->color = MEM_BLACK;
MEM_BLACK        4519 src/alloc.c    	      y->color = MEM_BLACK;
MEM_BLACK        4533 src/alloc.c    	      x->parent->color = MEM_BLACK;
MEM_BLACK        4545 src/alloc.c    	      x->parent->color = MEM_BLACK;
MEM_BLACK        4546 src/alloc.c    	      y->color = MEM_BLACK;
MEM_BLACK        4558 src/alloc.c    	      x->parent->color = MEM_BLACK;
MEM_BLACK        4567 src/alloc.c      mem_root->color = MEM_BLACK;
MEM_BLACK        4685 src/alloc.c      if (y->color == MEM_BLACK)
MEM_BLACK        4702 src/alloc.c      while (x != mem_root && x->color == MEM_BLACK)
MEM_BLACK        4710 src/alloc.c    	      w->color = MEM_BLACK;
MEM_BLACK        4716 src/alloc.c    	  if (w->left->color == MEM_BLACK && w->right->color == MEM_BLACK)
MEM_BLACK        4723 src/alloc.c    	      if (w->right->color == MEM_BLACK)
MEM_BLACK        4725 src/alloc.c    		  w->left->color = MEM_BLACK;
MEM_BLACK        4731 src/alloc.c    	      x->parent->color = MEM_BLACK;
MEM_BLACK        4732 src/alloc.c    	      w->right->color = MEM_BLACK;
MEM_BLACK        4743 src/alloc.c    	      w->color = MEM_BLACK;
MEM_BLACK        4749 src/alloc.c    	  if (w->right->color == MEM_BLACK && w->left->color == MEM_BLACK)
MEM_BLACK        4756 src/alloc.c    	      if (w->left->color == MEM_BLACK)
MEM_BLACK        4758 src/alloc.c    		  w->right->color = MEM_BLACK;
MEM_BLACK        4765 src/alloc.c    	      x->parent->color = MEM_BLACK;
MEM_BLACK        4766 src/alloc.c    	      w->left->color = MEM_BLACK;
MEM_BLACK        4773 src/alloc.c      x->color = MEM_BLACK;