find_machine_for_id flag_show_debug_machines n_machines register_init v_machines

int flag_show_debug_machines Flag: Debug-Geräte anzeigen?