void simcall_HANDLER_sem_acquire_timeout(smx_simcall_t simcall, smx_sem_t sem, double timeout)
{
simcall_sem_acquire_timeout__set__result(simcall, 0); // default result, will be set to 1 on timeout
void simcall_HANDLER_sem_acquire_timeout(smx_simcall_t simcall, smx_sem_t sem, double timeout)
{
simcall_sem_acquire_timeout__set__result(simcall, 0); // default result, will be set to 1 on timeout