Kernel/src/worker.c

1756   pword  *cur_mc, *prev_mc, *cur_tail, *cur_head;
1770 	cur_tail = cur_head + 1;
1773 	Make_List(cur_tail,cur_head);
1775         cur_tail = cur_head + 1;
1778 	Make_List(cur_tail,cur_head);
1780 	cur_tail = cur_head + 1;
1781 	Make_Nil(cur_tail)
1782 	cur_tail = cur_mc + 1;
1784 	  Make_Nil(cur_tail)
1787 	    Make_List(cur_tail, prev_mc);