machine__remove_thread
machine__remove_thread(machine, leader);
machine__remove_thread(machine, t1);
machine__remove_thread(machine, t2);
machine__remove_thread(machine, t3);
machine__remove_thread(machine, other);
machine__remove_thread(machine, other_leader);
machine__remove_thread(machine, thread);
machine__remove_thread(machine, parent);
machine__remove_thread(machine, thread);
machine__remove_thread(machine, thread);
void machine__remove_thread(struct machine *machine, struct thread *th);