machine__delete
machine__delete(machine);
machine__delete(machine);
machine__delete(machine);
machine__delete(td->machine);
machine__delete(machine);
machine__delete(machine);
machine__delete(ti->machine);
machine__delete(machine);
machine__delete(machine);
machine__delete(pos);
machine__delete(machine);
machine__delete(machine);
void machine__delete(struct machine *machine);
machine__delete(host_machine);