void SIMIX_host_get_params(smx_host_t ind_vm, ws_params_t params);
void SIMIX_host_set_params(smx_host_t ind_vm, ws_params_t params);
void SIMIX_host_get_params(smx_host_t ind_vm, ws_params_t params);
void SIMIX_host_set_params(smx_host_t ind_vm, ws_params_t params);