smx_host_t simcall_HANDLER_host_get_by_name(smx_simcall_t simcall, const char* name);
const char* simcall_HANDLER_host_get_name(smx_simcall_t simcall, smx_host_t host);
void simcall_HANDLER_host_on(smx_simcall_t simcall, smx_host_t host);
smx_host_t simcall_HANDLER_host_get_by_name(smx_simcall_t simcall, const char* name);
const char* simcall_HANDLER_host_get_name(smx_simcall_t simcall, smx_host_t host);
void simcall_HANDLER_host_on(smx_simcall_t simcall, smx_host_t host);