-// pre prototypes
-smx_host_t SIMIX_pre_host_get_by_name(smx_simcall_t, const char*);
-const char* SIMIX_pre_host_self_get_name(smx_simcall_t);
-const char* SIMIX_pre_host_get_name(smx_simcall_t, smx_host_t);
-void SIMIX_pre_host_on(smx_simcall_t, smx_host_t host);
-void SIMIX_pre_host_off(smx_simcall_t, smx_host_t host);
-xbt_dict_t SIMIX_pre_host_get_properties(smx_simcall_t, smx_host_t);
-int SIMIX_pre_host_get_core(smx_simcall_t, smx_host_t);
-xbt_swag_t SIMIX_pre_host_get_process_list(smx_simcall_t, smx_host_t host);
-double SIMIX_pre_host_get_speed(smx_simcall_t, smx_host_t);
-double SIMIX_pre_host_get_available_speed(smx_simcall_t, smx_host_t);
-int SIMIX_pre_host_get_state(smx_simcall_t, smx_host_t);
-double SIMIX_pre_host_get_current_power_peak(smx_simcall_t, smx_host_t);
-double SIMIX_pre_host_get_power_peak_at(smx_simcall_t, smx_host_t host, int pstate_index);
-int SIMIX_pre_host_get_nb_pstates(smx_simcall_t, smx_host_t host);
-void SIMIX_pre_host_set_power_peak_at(smx_simcall_t, smx_host_t host, int pstate_index);
-double SIMIX_pre_host_get_consumed_energy(smx_simcall_t, smx_host_t);
-void* SIMIX_pre_host_self_get_data(smx_simcall_t);
-smx_action_t SIMIX_pre_host_execute(smx_simcall_t, const char*, smx_host_t, double, double, double, unsigned long);
-smx_action_t SIMIX_pre_host_parallel_execute(smx_simcall_t, const char*, int, smx_host_t*,
+// handlers' prototypes
+smx_host_t simcall_HANDLER_host_get_by_name(smx_simcall_t, const char*);
+const char* simcall_HANDLER_host_self_get_name(smx_simcall_t);
+const char* simcall_HANDLER_host_get_name(smx_simcall_t, smx_host_t);
+void simcall_HANDLER_host_on(smx_simcall_t, smx_host_t host);
+void simcall_HANDLER_host_off(smx_simcall_t, smx_host_t host);
+xbt_dict_t simcall_HANDLER_host_get_properties(smx_simcall_t, smx_host_t);
+int simcall_HANDLER_host_get_core(smx_simcall_t, smx_host_t);
+xbt_swag_t simcall_HANDLER_host_get_process_list(smx_simcall_t, smx_host_t host);
+double simcall_HANDLER_host_get_speed(smx_simcall_t, smx_host_t);
+double simcall_HANDLER_host_get_available_speed(smx_simcall_t, smx_host_t);
+int simcall_HANDLER_host_get_state(smx_simcall_t, smx_host_t);
+double simcall_HANDLER_host_get_current_power_peak(smx_simcall_t, smx_host_t);
+double simcall_HANDLER_host_get_power_peak_at(smx_simcall_t, smx_host_t host, int pstate_index);
+int simcall_HANDLER_host_get_nb_pstates(smx_simcall_t, smx_host_t host);
+void simcall_HANDLER_host_set_power_peak_at(smx_simcall_t, smx_host_t host, int pstate_index);
+double simcall_HANDLER_host_get_consumed_energy(smx_simcall_t, smx_host_t);
+void* simcall_HANDLER_host_self_get_data(smx_simcall_t);
+smx_action_t simcall_HANDLER_host_execute(smx_simcall_t, const char*, smx_host_t, double, double, double, unsigned long);
+smx_action_t simcall_HANDLER_host_parallel_execute(smx_simcall_t, const char*, int, smx_host_t*,