Kernel/src/worker.c

1756   pword  *cur_mc, *prev_mc, *cur_tail, *cur_head;
1766 	cur_head = TG;
1768 	Make_List(cur_mc,cur_head);
1769 	Make_Integer(cur_head,status.machines[i].num_workers)
1770 	cur_tail = cur_head + 1;
1771 	cur_head = TG;
1773 	Make_List(cur_tail,cur_head);
1774 	Make_Integer(cur_head,status.machines[i].num_awake)
1775         cur_tail = cur_head + 1;
1776         cur_head = TG;
1778 	Make_List(cur_tail,cur_head);
1779 	Make_String(cur_head,status.machines[i].hostname);
1780 	cur_tail = cur_head + 1;