_stp_stpm_iterate_machines
(void) _stp_stpm_iterate_machines (this, _stp_stpm_init_machine, False);
need_state_change = _stp_stpm_iterate_machines (this,
number_of_loops += _stp_stpm_iterate_machines (this,