machine__delete_threads
machine__delete_threads(machine);
void machine__delete_threads(struct machine *machine);