src/simix/popping_accessors.h

   1 /**********************************************************************/
   2 /* File generated by src/simix/simcalls.py from src/simix/simcalls.in */
   3 /*                                                                    */
   4 /*                    DO NOT EVER CHANGE THIS FILE                    */
   5 /*                                                                    */
   6 /* change simcalls specification in src/simix/simcalls.in             */
   7 /**********************************************************************/
   8
   9 /*
  10  * Note that the name comes from http://en.wikipedia.org/wiki/Popping
  11  * Indeed, the control flow is doing a strange dance in there.
  12  *
  13  * That's not about http://en.wikipedia.org/wiki/Poop, despite the odor :)
  14  */
  15
  16
  17 static inline sg_host_t simcall_vm_suspend__get__ind_vm(smx_simcall_t simcall) {
  18   return (sg_host_t) simcall->args[0].dp;
  19 }
  20 static inline void simcall_vm_suspend__set__ind_vm(smx_simcall_t simcall, void* arg) {
  21     simcall->args[0].dp = arg;
  22 }
  23
  24 static inline sg_host_t simcall_vm_resume__get__ind_vm(smx_simcall_t simcall) {
  25   return (sg_host_t) simcall->args[0].dp;
  26 }
  27 static inline void simcall_vm_resume__set__ind_vm(smx_simcall_t simcall, void* arg) {
  28     simcall->args[0].dp = arg;
  29 }
  30
  31 static inline sg_host_t simcall_vm_shutdown__get__ind_vm(smx_simcall_t simcall) {
  32   return (sg_host_t) simcall->args[0].dp;
  33 }
  34 static inline void simcall_vm_shutdown__set__ind_vm(smx_simcall_t simcall, void* arg) {
  35     simcall->args[0].dp = arg;
  36 }
  37
  38 static inline sg_host_t simcall_vm_save__get__ind_vm(smx_simcall_t simcall) {
  39   return (sg_host_t) simcall->args[0].dp;
  40 }
  41 static inline void simcall_vm_save__set__ind_vm(smx_simcall_t simcall, void* arg) {
  42     simcall->args[0].dp = arg;
  43 }
  44
  45 static inline sg_host_t simcall_vm_restore__get__ind_vm(smx_simcall_t simcall) {
  46   return (sg_host_t) simcall->args[0].dp;
  47 }
  48 static inline void simcall_vm_restore__set__ind_vm(smx_simcall_t simcall, void* arg) {
  49     simcall->args[0].dp = arg;
  50 }
  51
  52 static inline const char* simcall_process_create__get__name(smx_simcall_t simcall) {
  53   return  simcall->args[0].cc;
  54 }
  55 static inline void simcall_process_create__set__name(smx_simcall_t simcall, const char* arg) {
  56     simcall->args[0].cc = arg;
  57 }
  58 static inline xbt_main_func_t simcall_process_create__get__code(smx_simcall_t simcall) {
  59   return (xbt_main_func_t) simcall->args[1].fp;
  60 }
  61 static inline void simcall_process_create__set__code(smx_simcall_t simcall, FPtr arg) {
  62     simcall->args[1].fp = arg;
  63 }
  64 static inline void* simcall_process_create__get__data(smx_simcall_t simcall) {
  65   return  simcall->args[2].dp;
  66 }
  67 static inline void simcall_process_create__set__data(smx_simcall_t simcall, void* arg) {
  68     simcall->args[2].dp = arg;
  69 }
  70 static inline const char* simcall_process_create__get__hostname(smx_simcall_t simcall) {
  71   return  simcall->args[3].cc;
  72 }
  73 static inline void simcall_process_create__set__hostname(smx_simcall_t simcall, const char* arg) {
  74     simcall->args[3].cc = arg;
  75 }
  76 static inline double simcall_process_create__get__kill_time(smx_simcall_t simcall) {
  77   return  simcall->args[4].d;
  78 }
  79 static inline void simcall_process_create__set__kill_time(smx_simcall_t simcall, double arg) {
  80     simcall->args[4].d = arg;
  81 }
  82 static inline int simcall_process_create__get__argc(smx_simcall_t simcall) {
  83   return  simcall->args[5].i;
  84 }
  85 static inline void simcall_process_create__set__argc(smx_simcall_t simcall, int arg) {
  86     simcall->args[5].i = arg;
  87 }
  88 static inline char** simcall_process_create__get__argv(smx_simcall_t simcall) {
  89   return (char**) simcall->args[6].dp;
  90 }
  91 static inline void simcall_process_create__set__argv(smx_simcall_t simcall, void* arg) {
  92     simcall->args[6].dp = arg;
  93 }
  94 static inline xbt_dict_t simcall_process_create__get__properties(smx_simcall_t simcall) {
  95   return (xbt_dict_t) simcall->args[7].dp;
  96 }
  97 static inline void simcall_process_create__set__properties(smx_simcall_t simcall, void* arg) {
  98     simcall->args[7].dp = arg;
  99 }
 100 static inline int simcall_process_create__get__auto_restart(smx_simcall_t simcall) {
 101   return  simcall->args[8].i;
 102 }
 103 static inline void simcall_process_create__set__auto_restart(smx_simcall_t simcall, int arg) {
 104     simcall->args[8].i = arg;
 105 }
 106 static inline void* simcall_process_create__get__result(smx_simcall_t simcall){
 107     return  simcall->result.dp;
 108 }
 109 static inline void simcall_process_create__set__result(smx_simcall_t simcall, void* result){
 110     simcall->result.dp = result;
 111 }
 112
 113 static inline smx_process_t simcall_process_kill__get__process(smx_simcall_t simcall) {
 114   return (smx_process_t) simcall->args[0].dp;
 115 }
 116 static inline void simcall_process_kill__set__process(smx_simcall_t simcall, void* arg) {
 117     simcall->args[0].dp = arg;
 118 }
 119
 120 static inline int simcall_process_killall__get__reset_pid(smx_simcall_t simcall) {
 121   return  simcall->args[0].i;
 122 }
 123 static inline void simcall_process_killall__set__reset_pid(smx_simcall_t simcall, int arg) {
 124     simcall->args[0].i = arg;
 125 }
 126
 127 static inline smx_process_t simcall_process_cleanup__get__process(smx_simcall_t simcall) {
 128   return (smx_process_t) simcall->args[0].dp;
 129 }
 130 static inline void simcall_process_cleanup__set__process(smx_simcall_t simcall, void* arg) {
 131     simcall->args[0].dp = arg;
 132 }
 133
 134 static inline smx_process_t simcall_process_suspend__get__process(smx_simcall_t simcall) {
 135   return (smx_process_t) simcall->args[0].dp;
 136 }
 137 static inline void simcall_process_suspend__set__process(smx_simcall_t simcall, void* arg) {
 138     simcall->args[0].dp = arg;
 139 }
 140
 141 static inline smx_process_t simcall_process_resume__get__process(smx_simcall_t simcall) {
 142   return (smx_process_t) simcall->args[0].dp;
 143 }
 144 static inline void simcall_process_resume__set__process(smx_simcall_t simcall, void* arg) {
 145     simcall->args[0].dp = arg;
 146 }
 147
 148 static inline smx_process_t simcall_process_set_host__get__process(smx_simcall_t simcall) {
 149   return (smx_process_t) simcall->args[0].dp;
 150 }
 151 static inline void simcall_process_set_host__set__process(smx_simcall_t simcall, void* arg) {
 152     simcall->args[0].dp = arg;
 153 }
 154 static inline sg_host_t simcall_process_set_host__get__dest(smx_simcall_t simcall) {
 155   return (sg_host_t) simcall->args[1].dp;
 156 }
 157 static inline void simcall_process_set_host__set__dest(smx_simcall_t simcall, void* arg) {
 158     simcall->args[1].dp = arg;
 159 }
 160
 161 static inline smx_process_t simcall_process_is_suspended__get__process(smx_simcall_t simcall) {
 162   return (smx_process_t) simcall->args[0].dp;
 163 }
 164 static inline void simcall_process_is_suspended__set__process(smx_simcall_t simcall, void* arg) {
 165     simcall->args[0].dp = arg;
 166 }
 167 static inline int simcall_process_is_suspended__get__result(smx_simcall_t simcall){
 168     return  simcall->result.i;
 169 }
 170 static inline void simcall_process_is_suspended__set__result(smx_simcall_t simcall, int result){
 171     simcall->result.i = result;
 172 }
 173
 174 static inline smx_process_t simcall_process_join__get__process(smx_simcall_t simcall) {
 175   return (smx_process_t) simcall->args[0].dp;
 176 }
 177 static inline void simcall_process_join__set__process(smx_simcall_t simcall, void* arg) {
 178     simcall->args[0].dp = arg;
 179 }
 180 static inline double simcall_process_join__get__timeout(smx_simcall_t simcall) {
 181   return  simcall->args[1].d;
 182 }
 183 static inline void simcall_process_join__set__timeout(smx_simcall_t simcall, double arg) {
 184     simcall->args[1].d = arg;
 185 }
 186 static inline int simcall_process_join__get__result(smx_simcall_t simcall){
 187     return  simcall->result.i;
 188 }
 189 static inline void simcall_process_join__set__result(smx_simcall_t simcall, int result){
 190     simcall->result.i = result;
 191 }
 192
 193 static inline double simcall_process_sleep__get__duration(smx_simcall_t simcall) {
 194   return  simcall->args[0].d;
 195 }
 196 static inline void simcall_process_sleep__set__duration(smx_simcall_t simcall, double arg) {
 197     simcall->args[0].d = arg;
 198 }
 199 static inline int simcall_process_sleep__get__result(smx_simcall_t simcall){
 200     return  simcall->result.i;
 201 }
 202 static inline void simcall_process_sleep__set__result(smx_simcall_t simcall, int result){
 203     simcall->result.i = result;
 204 }
 205
 206 static inline const char* simcall_execution_start__get__name(smx_simcall_t simcall) {
 207   return  simcall->args[0].cc;
 208 }
 209 static inline void simcall_execution_start__set__name(smx_simcall_t simcall, const char* arg) {
 210     simcall->args[0].cc = arg;
 211 }
 212 static inline double simcall_execution_start__get__flops_amount(smx_simcall_t simcall) {
 213   return  simcall->args[1].d;
 214 }
 215 static inline void simcall_execution_start__set__flops_amount(smx_simcall_t simcall, double arg) {
 216     simcall->args[1].d = arg;
 217 }
 218 static inline double simcall_execution_start__get__priority(smx_simcall_t simcall) {
 219   return  simcall->args[2].d;
 220 }
 221 static inline void simcall_execution_start__set__priority(smx_simcall_t simcall, double arg) {
 222     simcall->args[2].d = arg;
 223 }
 224 static inline double simcall_execution_start__get__bound(smx_simcall_t simcall) {
 225   return  simcall->args[3].d;
 226 }
 227 static inline void simcall_execution_start__set__bound(smx_simcall_t simcall, double arg) {
 228     simcall->args[3].d = arg;
 229 }
 230 static inline unsigned long simcall_execution_start__get__affinity_mask(smx_simcall_t simcall) {
 231   return  simcall->args[4].ul;
 232 }
 233 static inline void simcall_execution_start__set__affinity_mask(smx_simcall_t simcall, unsigned long arg) {
 234     simcall->args[4].ul = arg;
 235 }
 236 static inline smx_synchro_t simcall_execution_start__get__result(smx_simcall_t simcall){
 237     return (smx_synchro_t) simcall->result.dp;
 238 }
 239 static inline void simcall_execution_start__set__result(smx_simcall_t simcall, void* result){
 240     simcall->result.dp = result;
 241 }
 242
 243 static inline const char* simcall_execution_parallel_start__get__name(smx_simcall_t simcall) {
 244   return  simcall->args[0].cc;
 245 }
 246 static inline void simcall_execution_parallel_start__set__name(smx_simcall_t simcall, const char* arg) {
 247     simcall->args[0].cc = arg;
 248 }
 249 static inline int simcall_execution_parallel_start__get__host_nb(smx_simcall_t simcall) {
 250   return  simcall->args[1].i;
 251 }
 252 static inline void simcall_execution_parallel_start__set__host_nb(smx_simcall_t simcall, int arg) {
 253     simcall->args[1].i = arg;
 254 }
 255 static inline sg_host_t* simcall_execution_parallel_start__get__host_list(smx_simcall_t simcall) {
 256   return (sg_host_t*) simcall->args[2].dp;
 257 }
 258 static inline void simcall_execution_parallel_start__set__host_list(smx_simcall_t simcall, void* arg) {
 259     simcall->args[2].dp = arg;
 260 }
 261 static inline double* simcall_execution_parallel_start__get__flops_amount(smx_simcall_t simcall) {
 262   return (double*) simcall->args[3].dp;
 263 }
 264 static inline void simcall_execution_parallel_start__set__flops_amount(smx_simcall_t simcall, void* arg) {
 265     simcall->args[3].dp = arg;
 266 }
 267 static inline double* simcall_execution_parallel_start__get__bytes_amount(smx_simcall_t simcall) {
 268   return (double*) simcall->args[4].dp;
 269 }
 270 static inline void simcall_execution_parallel_start__set__bytes_amount(smx_simcall_t simcall, void* arg) {
 271     simcall->args[4].dp = arg;
 272 }
 273 static inline double simcall_execution_parallel_start__get__amount(smx_simcall_t simcall) {
 274   return  simcall->args[5].d;
 275 }
 276 static inline void simcall_execution_parallel_start__set__amount(smx_simcall_t simcall, double arg) {
 277     simcall->args[5].d = arg;
 278 }
 279 static inline double simcall_execution_parallel_start__get__rate(smx_simcall_t simcall) {
 280   return  simcall->args[6].d;
 281 }
 282 static inline void simcall_execution_parallel_start__set__rate(smx_simcall_t simcall, double arg) {
 283     simcall->args[6].d = arg;
 284 }
 285 static inline smx_synchro_t simcall_execution_parallel_start__get__result(smx_simcall_t simcall){
 286     return (smx_synchro_t) simcall->result.dp;
 287 }
 288 static inline void simcall_execution_parallel_start__set__result(smx_simcall_t simcall, void* result){
 289     simcall->result.dp = result;
 290 }
 291
 292 static inline smx_synchro_t simcall_execution_destroy__get__execution(smx_simcall_t simcall) {
 293   return (smx_synchro_t) simcall->args[0].dp;
 294 }
 295 static inline void simcall_execution_destroy__set__execution(smx_simcall_t simcall, void* arg) {
 296     simcall->args[0].dp = arg;
 297 }
 298
 299 static inline smx_synchro_t simcall_execution_cancel__get__execution(smx_simcall_t simcall) {
 300   return (smx_synchro_t) simcall->args[0].dp;
 301 }
 302 static inline void simcall_execution_cancel__set__execution(smx_simcall_t simcall, void* arg) {
 303     simcall->args[0].dp = arg;
 304 }
 305
 306 static inline smx_synchro_t simcall_execution_get_remains__get__execution(smx_simcall_t simcall) {
 307   return (smx_synchro_t) simcall->args[0].dp;
 308 }
 309 static inline void simcall_execution_get_remains__set__execution(smx_simcall_t simcall, void* arg) {
 310     simcall->args[0].dp = arg;
 311 }
 312 static inline double simcall_execution_get_remains__get__result(smx_simcall_t simcall){
 313     return  simcall->result.d;
 314 }
 315 static inline void simcall_execution_get_remains__set__result(smx_simcall_t simcall, double result){
 316     simcall->result.d = result;
 317 }
 318
 319 static inline smx_synchro_t simcall_execution_get_state__get__execution(smx_simcall_t simcall) {
 320   return (smx_synchro_t) simcall->args[0].dp;
 321 }
 322 static inline void simcall_execution_get_state__set__execution(smx_simcall_t simcall, void* arg) {
 323     simcall->args[0].dp = arg;
 324 }
 325 static inline e_smx_state_t simcall_execution_get_state__get__result(smx_simcall_t simcall){
 326     return (e_smx_state_t) simcall->result.i;
 327 }
 328 static inline void simcall_execution_get_state__set__result(smx_simcall_t simcall, int result){
 329     simcall->result.i = result;
 330 }
 331
 332 static inline smx_synchro_t simcall_execution_set_priority__get__execution(smx_simcall_t simcall) {
 333   return (smx_synchro_t) simcall->args[0].dp;
 334 }
 335 static inline void simcall_execution_set_priority__set__execution(smx_simcall_t simcall, void* arg) {
 336     simcall->args[0].dp = arg;
 337 }
 338 static inline double simcall_execution_set_priority__get__priority(smx_simcall_t simcall) {
 339   return  simcall->args[1].d;
 340 }
 341 static inline void simcall_execution_set_priority__set__priority(smx_simcall_t simcall, double arg) {
 342     simcall->args[1].d = arg;
 343 }
 344
 345 static inline smx_synchro_t simcall_execution_set_bound__get__execution(smx_simcall_t simcall) {
 346   return (smx_synchro_t) simcall->args[0].dp;
 347 }
 348 static inline void simcall_execution_set_bound__set__execution(smx_simcall_t simcall, void* arg) {
 349     simcall->args[0].dp = arg;
 350 }
 351 static inline double simcall_execution_set_bound__get__bound(smx_simcall_t simcall) {
 352   return  simcall->args[1].d;
 353 }
 354 static inline void simcall_execution_set_bound__set__bound(smx_simcall_t simcall, double arg) {
 355     simcall->args[1].d = arg;
 356 }
 357
 358 static inline smx_synchro_t simcall_execution_set_affinity__get__execution(smx_simcall_t simcall) {
 359   return (smx_synchro_t) simcall->args[0].dp;
 360 }
 361 static inline void simcall_execution_set_affinity__set__execution(smx_simcall_t simcall, void* arg) {
 362     simcall->args[0].dp = arg;
 363 }
 364 static inline sg_host_t simcall_execution_set_affinity__get__ws(smx_simcall_t simcall) {
 365   return (sg_host_t) simcall->args[1].dp;
 366 }
 367 static inline void simcall_execution_set_affinity__set__ws(smx_simcall_t simcall, void* arg) {
 368     simcall->args[1].dp = arg;
 369 }
 370 static inline unsigned long simcall_execution_set_affinity__get__mask(smx_simcall_t simcall) {
 371   return  simcall->args[2].ul;
 372 }
 373 static inline void simcall_execution_set_affinity__set__mask(smx_simcall_t simcall, unsigned long arg) {
 374     simcall->args[2].ul = arg;
 375 }
 376
 377 static inline smx_synchro_t simcall_execution_wait__get__execution(smx_simcall_t simcall) {
 378   return (smx_synchro_t) simcall->args[0].dp;
 379 }
 380 static inline void simcall_execution_wait__set__execution(smx_simcall_t simcall, void* arg) {
 381     simcall->args[0].dp = arg;
 382 }
 383 static inline int simcall_execution_wait__get__result(smx_simcall_t simcall){
 384     return  simcall->result.i;
 385 }
 386 static inline void simcall_execution_wait__set__result(smx_simcall_t simcall, int result){
 387     simcall->result.i = result;
 388 }
 389
 390 static inline smx_process_t simcall_process_on_exit__get__process(smx_simcall_t simcall) {
 391   return (smx_process_t) simcall->args[0].dp;
 392 }
 393 static inline void simcall_process_on_exit__set__process(smx_simcall_t simcall, void* arg) {
 394     simcall->args[0].dp = arg;
 395 }
 396 static inline int_f_pvoid_pvoid_t simcall_process_on_exit__get__fun(smx_simcall_t simcall) {
 397   return (int_f_pvoid_pvoid_t) simcall->args[1].fp;
 398 }
 399 static inline void simcall_process_on_exit__set__fun(smx_simcall_t simcall, FPtr arg) {
 400     simcall->args[1].fp = arg;
 401 }
 402 static inline void* simcall_process_on_exit__get__data(smx_simcall_t simcall) {
 403   return  simcall->args[2].dp;
 404 }
 405 static inline void simcall_process_on_exit__set__data(smx_simcall_t simcall, void* arg) {
 406     simcall->args[2].dp = arg;
 407 }
 408
 409 static inline smx_process_t simcall_process_auto_restart_set__get__process(smx_simcall_t simcall) {
 410   return (smx_process_t) simcall->args[0].dp;
 411 }
 412 static inline void simcall_process_auto_restart_set__set__process(smx_simcall_t simcall, void* arg) {
 413     simcall->args[0].dp = arg;
 414 }
 415 static inline int simcall_process_auto_restart_set__get__auto_restart(smx_simcall_t simcall) {
 416   return  simcall->args[1].i;
 417 }
 418 static inline void simcall_process_auto_restart_set__set__auto_restart(smx_simcall_t simcall, int arg) {
 419     simcall->args[1].i = arg;
 420 }
 421
 422 static inline smx_process_t simcall_process_restart__get__process(smx_simcall_t simcall) {
 423   return (smx_process_t) simcall->args[0].dp;
 424 }
 425 static inline void simcall_process_restart__set__process(smx_simcall_t simcall, void* arg) {
 426     simcall->args[0].dp = arg;
 427 }
 428 static inline smx_process_t simcall_process_restart__get__result(smx_simcall_t simcall){
 429     return (smx_process_t) simcall->result.dp;
 430 }
 431 static inline void simcall_process_restart__set__result(smx_simcall_t simcall, void* result){
 432     simcall->result.dp = result;
 433 }
 434
 435 static inline const char* simcall_mbox_create__get__name(smx_simcall_t simcall) {
 436   return  simcall->args[0].cc;
 437 }
 438 static inline void simcall_mbox_create__set__name(smx_simcall_t simcall, const char* arg) {
 439     simcall->args[0].cc = arg;
 440 }
 441 static inline smx_mailbox_t simcall_mbox_create__get__result(smx_simcall_t simcall){
 442     return (smx_mailbox_t) simcall->result.dp;
 443 }
 444 static inline void simcall_mbox_create__set__result(smx_simcall_t simcall, void* result){
 445     simcall->result.dp = result;
 446 }
 447
 448 static inline smx_mailbox_t simcall_mbox_get_head__get__mbox(smx_simcall_t simcall) {
 449   return (smx_mailbox_t) simcall->args[0].dp;
 450 }
 451 static inline void simcall_mbox_get_head__set__mbox(smx_simcall_t simcall, void* arg) {
 452     simcall->args[0].dp = arg;
 453 }
 454 static inline smx_synchro_t simcall_mbox_get_head__get__result(smx_simcall_t simcall){
 455     return (smx_synchro_t) simcall->result.dp;
 456 }
 457 static inline void simcall_mbox_get_head__set__result(smx_simcall_t simcall, void* result){
 458     simcall->result.dp = result;
 459 }
 460
 461 static inline smx_mailbox_t simcall_mbox_set_receiver__get__mbox(smx_simcall_t simcall) {
 462   return (smx_mailbox_t) simcall->args[0].dp;
 463 }
 464 static inline void simcall_mbox_set_receiver__set__mbox(smx_simcall_t simcall, void* arg) {
 465     simcall->args[0].dp = arg;
 466 }
 467 static inline smx_process_t simcall_mbox_set_receiver__get__receiver(smx_simcall_t simcall) {
 468   return (smx_process_t) simcall->args[1].dp;
 469 }
 470 static inline void simcall_mbox_set_receiver__set__receiver(smx_simcall_t simcall, void* arg) {
 471     simcall->args[1].dp = arg;
 472 }
 473
 474 static inline smx_mailbox_t simcall_mbox_get_receiver__get__mbox(smx_simcall_t simcall) {
 475   return (smx_mailbox_t) simcall->args[0].dp;
 476 }
 477 static inline void simcall_mbox_get_receiver__set__mbox(smx_simcall_t simcall, void* arg) {
 478     simcall->args[0].dp = arg;
 479 }
 480 static inline smx_process_t simcall_mbox_get_receiver__get__result(smx_simcall_t simcall){
 481     return (smx_process_t) simcall->result.dp;
 482 }
 483 static inline void simcall_mbox_get_receiver__set__result(smx_simcall_t simcall, void* result){
 484     simcall->result.dp = result;
 485 }
 486
 487 static inline smx_mailbox_t simcall_comm_iprobe__get__mbox(smx_simcall_t simcall) {
 488   return (smx_mailbox_t) simcall->args[0].dp;
 489 }
 490 static inline void simcall_comm_iprobe__set__mbox(smx_simcall_t simcall, void* arg) {
 491     simcall->args[0].dp = arg;
 492 }
 493 static inline int simcall_comm_iprobe__get__type(smx_simcall_t simcall) {
 494   return  simcall->args[1].i;
 495 }
 496 static inline void simcall_comm_iprobe__set__type(smx_simcall_t simcall, int arg) {
 497     simcall->args[1].i = arg;
 498 }
 499 static inline int simcall_comm_iprobe__get__src(smx_simcall_t simcall) {
 500   return  simcall->args[2].i;
 501 }
 502 static inline void simcall_comm_iprobe__set__src(smx_simcall_t simcall, int arg) {
 503     simcall->args[2].i = arg;
 504 }
 505 static inline int simcall_comm_iprobe__get__tag(smx_simcall_t simcall) {
 506   return  simcall->args[3].i;
 507 }
 508 static inline void simcall_comm_iprobe__set__tag(smx_simcall_t simcall, int arg) {
 509     simcall->args[3].i = arg;
 510 }
 511 static inline simix_match_func_t simcall_comm_iprobe__get__match_fun(smx_simcall_t simcall) {
 512   return (simix_match_func_t) simcall->args[4].fp;
 513 }
 514 static inline void simcall_comm_iprobe__set__match_fun(smx_simcall_t simcall, FPtr arg) {
 515     simcall->args[4].fp = arg;
 516 }
 517 static inline void* simcall_comm_iprobe__get__data(smx_simcall_t simcall) {
 518   return  simcall->args[5].dp;
 519 }
 520 static inline void simcall_comm_iprobe__set__data(smx_simcall_t simcall, void* arg) {
 521     simcall->args[5].dp = arg;
 522 }
 523 static inline smx_synchro_t simcall_comm_iprobe__get__result(smx_simcall_t simcall){
 524     return (smx_synchro_t) simcall->result.dp;
 525 }
 526 static inline void simcall_comm_iprobe__set__result(smx_simcall_t simcall, void* result){
 527     simcall->result.dp = result;
 528 }
 529
 530 static inline smx_process_t simcall_comm_send__get__sender(smx_simcall_t simcall) {
 531   return (smx_process_t) simcall->args[0].dp;
 532 }
 533 static inline void simcall_comm_send__set__sender(smx_simcall_t simcall, void* arg) {
 534     simcall->args[0].dp = arg;
 535 }
 536 static inline smx_mailbox_t simcall_comm_send__get__mbox(smx_simcall_t simcall) {
 537   return (smx_mailbox_t) simcall->args[1].dp;
 538 }
 539 static inline void simcall_comm_send__set__mbox(smx_simcall_t simcall, void* arg) {
 540     simcall->args[1].dp = arg;
 541 }
 542 static inline double simcall_comm_send__get__task_size(smx_simcall_t simcall) {
 543   return  simcall->args[2].d;
 544 }
 545 static inline void simcall_comm_send__set__task_size(smx_simcall_t simcall, double arg) {
 546     simcall->args[2].d = arg;
 547 }
 548 static inline double simcall_comm_send__get__rate(smx_simcall_t simcall) {
 549   return  simcall->args[3].d;
 550 }
 551 static inline void simcall_comm_send__set__rate(smx_simcall_t simcall, double arg) {
 552     simcall->args[3].d = arg;
 553 }
 554 static inline void* simcall_comm_send__get__src_buff(smx_simcall_t simcall) {
 555   return  simcall->args[4].dp;
 556 }
 557 static inline void simcall_comm_send__set__src_buff(smx_simcall_t simcall, void* arg) {
 558     simcall->args[4].dp = arg;
 559 }
 560 static inline size_t simcall_comm_send__get__src_buff_size(smx_simcall_t simcall) {
 561   return  simcall->args[5].sz;
 562 }
 563 static inline void simcall_comm_send__set__src_buff_size(smx_simcall_t simcall, size_t arg) {
 564     simcall->args[5].sz = arg;
 565 }
 566 static inline simix_match_func_t simcall_comm_send__get__match_fun(smx_simcall_t simcall) {
 567   return (simix_match_func_t) simcall->args[6].fp;
 568 }
 569 static inline void simcall_comm_send__set__match_fun(smx_simcall_t simcall, FPtr arg) {
 570     simcall->args[6].fp = arg;
 571 }
 572 static inline simix_copy_data_func_t simcall_comm_send__get__copy_data_fun(smx_simcall_t simcall) {
 573   return (simix_copy_data_func_t) simcall->args[7].fp;
 574 }
 575 static inline void simcall_comm_send__set__copy_data_fun(smx_simcall_t simcall, FPtr arg) {
 576     simcall->args[7].fp = arg;
 577 }
 578 static inline void* simcall_comm_send__get__data(smx_simcall_t simcall) {
 579   return  simcall->args[8].dp;
 580 }
 581 static inline void simcall_comm_send__set__data(smx_simcall_t simcall, void* arg) {
 582     simcall->args[8].dp = arg;
 583 }
 584 static inline double simcall_comm_send__get__timeout(smx_simcall_t simcall) {
 585   return  simcall->args[9].d;
 586 }
 587 static inline void simcall_comm_send__set__timeout(smx_simcall_t simcall, double arg) {
 588     simcall->args[9].d = arg;
 589 }
 590
 591 static inline smx_process_t simcall_comm_isend__get__sender(smx_simcall_t simcall) {
 592   return (smx_process_t) simcall->args[0].dp;
 593 }
 594 static inline void simcall_comm_isend__set__sender(smx_simcall_t simcall, void* arg) {
 595     simcall->args[0].dp = arg;
 596 }
 597 static inline smx_mailbox_t simcall_comm_isend__get__mbox(smx_simcall_t simcall) {
 598   return (smx_mailbox_t) simcall->args[1].dp;
 599 }
 600 static inline void simcall_comm_isend__set__mbox(smx_simcall_t simcall, void* arg) {
 601     simcall->args[1].dp = arg;
 602 }
 603 static inline double simcall_comm_isend__get__task_size(smx_simcall_t simcall) {
 604   return  simcall->args[2].d;
 605 }
 606 static inline void simcall_comm_isend__set__task_size(smx_simcall_t simcall, double arg) {
 607     simcall->args[2].d = arg;
 608 }
 609 static inline double simcall_comm_isend__get__rate(smx_simcall_t simcall) {
 610   return  simcall->args[3].d;
 611 }
 612 static inline void simcall_comm_isend__set__rate(smx_simcall_t simcall, double arg) {
 613     simcall->args[3].d = arg;
 614 }
 615 static inline void* simcall_comm_isend__get__src_buff(smx_simcall_t simcall) {
 616   return  simcall->args[4].dp;
 617 }
 618 static inline void simcall_comm_isend__set__src_buff(smx_simcall_t simcall, void* arg) {
 619     simcall->args[4].dp = arg;
 620 }
 621 static inline size_t simcall_comm_isend__get__src_buff_size(smx_simcall_t simcall) {
 622   return  simcall->args[5].sz;
 623 }
 624 static inline void simcall_comm_isend__set__src_buff_size(smx_simcall_t simcall, size_t arg) {
 625     simcall->args[5].sz = arg;
 626 }
 627 static inline simix_match_func_t simcall_comm_isend__get__match_fun(smx_simcall_t simcall) {
 628   return (simix_match_func_t) simcall->args[6].fp;
 629 }
 630 static inline void simcall_comm_isend__set__match_fun(smx_simcall_t simcall, FPtr arg) {
 631     simcall->args[6].fp = arg;
 632 }
 633 static inline simix_clean_func_t simcall_comm_isend__get__clean_fun(smx_simcall_t simcall) {
 634   return (simix_clean_func_t) simcall->args[7].fp;
 635 }
 636 static inline void simcall_comm_isend__set__clean_fun(smx_simcall_t simcall, FPtr arg) {
 637     simcall->args[7].fp = arg;
 638 }
 639 static inline simix_copy_data_func_t simcall_comm_isend__get__copy_data_fun(smx_simcall_t simcall) {
 640   return (simix_copy_data_func_t) simcall->args[8].fp;
 641 }
 642 static inline void simcall_comm_isend__set__copy_data_fun(smx_simcall_t simcall, FPtr arg) {
 643     simcall->args[8].fp = arg;
 644 }
 645 static inline void* simcall_comm_isend__get__data(smx_simcall_t simcall) {
 646   return  simcall->args[9].dp;
 647 }
 648 static inline void simcall_comm_isend__set__data(smx_simcall_t simcall, void* arg) {
 649     simcall->args[9].dp = arg;
 650 }
 651 static inline int simcall_comm_isend__get__detached(smx_simcall_t simcall) {
 652   return  simcall->args[10].i;
 653 }
 654 static inline void simcall_comm_isend__set__detached(smx_simcall_t simcall, int arg) {
 655     simcall->args[10].i = arg;
 656 }
 657 static inline smx_synchro_t simcall_comm_isend__get__result(smx_simcall_t simcall){
 658     return (smx_synchro_t) simcall->result.dp;
 659 }
 660 static inline void simcall_comm_isend__set__result(smx_simcall_t simcall, void* result){
 661     simcall->result.dp = result;
 662 }
 663
 664 static inline smx_process_t simcall_comm_recv__get__receiver(smx_simcall_t simcall) {
 665   return (smx_process_t) simcall->args[0].dp;
 666 }
 667 static inline void simcall_comm_recv__set__receiver(smx_simcall_t simcall, void* arg) {
 668     simcall->args[0].dp = arg;
 669 }
 670 static inline smx_mailbox_t simcall_comm_recv__get__mbox(smx_simcall_t simcall) {
 671   return (smx_mailbox_t) simcall->args[1].dp;
 672 }
 673 static inline void simcall_comm_recv__set__mbox(smx_simcall_t simcall, void* arg) {
 674     simcall->args[1].dp = arg;
 675 }
 676 static inline void* simcall_comm_recv__get__dst_buff(smx_simcall_t simcall) {
 677   return  simcall->args[2].dp;
 678 }
 679 static inline void simcall_comm_recv__set__dst_buff(smx_simcall_t simcall, void* arg) {
 680     simcall->args[2].dp = arg;
 681 }
 682 static inline size_t* simcall_comm_recv__get__dst_buff_size(smx_simcall_t simcall) {
 683   return (size_t*) simcall->args[3].dp;
 684 }
 685 static inline void simcall_comm_recv__set__dst_buff_size(smx_simcall_t simcall, void* arg) {
 686     simcall->args[3].dp = arg;
 687 }
 688 static inline simix_match_func_t simcall_comm_recv__get__match_fun(smx_simcall_t simcall) {
 689   return (simix_match_func_t) simcall->args[4].fp;
 690 }
 691 static inline void simcall_comm_recv__set__match_fun(smx_simcall_t simcall, FPtr arg) {
 692     simcall->args[4].fp = arg;
 693 }
 694 static inline simix_copy_data_func_t simcall_comm_recv__get__copy_data_fun(smx_simcall_t simcall) {
 695   return (simix_copy_data_func_t) simcall->args[5].fp;
 696 }
 697 static inline void simcall_comm_recv__set__copy_data_fun(smx_simcall_t simcall, FPtr arg) {
 698     simcall->args[5].fp = arg;
 699 }
 700 static inline void* simcall_comm_recv__get__data(smx_simcall_t simcall) {
 701   return  simcall->args[6].dp;
 702 }
 703 static inline void simcall_comm_recv__set__data(smx_simcall_t simcall, void* arg) {
 704     simcall->args[6].dp = arg;
 705 }
 706 static inline double simcall_comm_recv__get__timeout(smx_simcall_t simcall) {
 707   return  simcall->args[7].d;
 708 }
 709 static inline void simcall_comm_recv__set__timeout(smx_simcall_t simcall, double arg) {
 710     simcall->args[7].d = arg;
 711 }
 712 static inline double simcall_comm_recv__get__rate(smx_simcall_t simcall) {
 713   return  simcall->args[8].d;
 714 }
 715 static inline void simcall_comm_recv__set__rate(smx_simcall_t simcall, double arg) {
 716     simcall->args[8].d = arg;
 717 }
 718
 719 static inline smx_process_t simcall_comm_irecv__get__receiver(smx_simcall_t simcall) {
 720   return (smx_process_t) simcall->args[0].dp;
 721 }
 722 static inline void simcall_comm_irecv__set__receiver(smx_simcall_t simcall, void* arg) {
 723     simcall->args[0].dp = arg;
 724 }
 725 static inline smx_mailbox_t simcall_comm_irecv__get__mbox(smx_simcall_t simcall) {
 726   return (smx_mailbox_t) simcall->args[1].dp;
 727 }
 728 static inline void simcall_comm_irecv__set__mbox(smx_simcall_t simcall, void* arg) {
 729     simcall->args[1].dp = arg;
 730 }
 731 static inline void* simcall_comm_irecv__get__dst_buff(smx_simcall_t simcall) {
 732   return  simcall->args[2].dp;
 733 }
 734 static inline void simcall_comm_irecv__set__dst_buff(smx_simcall_t simcall, void* arg) {
 735     simcall->args[2].dp = arg;
 736 }
 737 static inline size_t* simcall_comm_irecv__get__dst_buff_size(smx_simcall_t simcall) {
 738   return (size_t*) simcall->args[3].dp;
 739 }
 740 static inline void simcall_comm_irecv__set__dst_buff_size(smx_simcall_t simcall, void* arg) {
 741     simcall->args[3].dp = arg;
 742 }
 743 static inline simix_match_func_t simcall_comm_irecv__get__match_fun(smx_simcall_t simcall) {
 744   return (simix_match_func_t) simcall->args[4].fp;
 745 }
 746 static inline void simcall_comm_irecv__set__match_fun(smx_simcall_t simcall, FPtr arg) {
 747     simcall->args[4].fp = arg;
 748 }
 749 static inline simix_copy_data_func_t simcall_comm_irecv__get__copy_data_fun(smx_simcall_t simcall) {
 750   return (simix_copy_data_func_t) simcall->args[5].fp;
 751 }
 752 static inline void simcall_comm_irecv__set__copy_data_fun(smx_simcall_t simcall, FPtr arg) {
 753     simcall->args[5].fp = arg;
 754 }
 755 static inline void* simcall_comm_irecv__get__data(smx_simcall_t simcall) {
 756   return  simcall->args[6].dp;
 757 }
 758 static inline void simcall_comm_irecv__set__data(smx_simcall_t simcall, void* arg) {
 759     simcall->args[6].dp = arg;
 760 }
 761 static inline double simcall_comm_irecv__get__rate(smx_simcall_t simcall) {
 762   return  simcall->args[7].d;
 763 }
 764 static inline void simcall_comm_irecv__set__rate(smx_simcall_t simcall, double arg) {
 765     simcall->args[7].d = arg;
 766 }
 767 static inline smx_synchro_t simcall_comm_irecv__get__result(smx_simcall_t simcall){
 768     return (smx_synchro_t) simcall->result.dp;
 769 }
 770 static inline void simcall_comm_irecv__set__result(smx_simcall_t simcall, void* result){
 771     simcall->result.dp = result;
 772 }
 773
 774 static inline smx_synchro_t simcall_comm_cancel__get__comm(smx_simcall_t simcall) {
 775   return (smx_synchro_t) simcall->args[0].dp;
 776 }
 777 static inline void simcall_comm_cancel__set__comm(smx_simcall_t simcall, void* arg) {
 778     simcall->args[0].dp = arg;
 779 }
 780
 781 static inline xbt_dynar_t simcall_comm_waitany__get__comms(smx_simcall_t simcall) {
 782   return (xbt_dynar_t) simcall->args[0].dp;
 783 }
 784 static inline void simcall_comm_waitany__set__comms(smx_simcall_t simcall, void* arg) {
 785     simcall->args[0].dp = arg;
 786 }
 787 static inline int simcall_comm_waitany__get__result(smx_simcall_t simcall){
 788     return  simcall->result.i;
 789 }
 790 static inline void simcall_comm_waitany__set__result(smx_simcall_t simcall, int result){
 791     simcall->result.i = result;
 792 }
 793
 794 static inline smx_synchro_t simcall_comm_wait__get__comm(smx_simcall_t simcall) {
 795   return (smx_synchro_t) simcall->args[0].dp;
 796 }
 797 static inline void simcall_comm_wait__set__comm(smx_simcall_t simcall, void* arg) {
 798     simcall->args[0].dp = arg;
 799 }
 800 static inline double simcall_comm_wait__get__timeout(smx_simcall_t simcall) {
 801   return  simcall->args[1].d;
 802 }
 803 static inline void simcall_comm_wait__set__timeout(smx_simcall_t simcall, double arg) {
 804     simcall->args[1].d = arg;
 805 }
 806
 807 static inline smx_synchro_t simcall_comm_test__get__comm(smx_simcall_t simcall) {
 808   return (smx_synchro_t) simcall->args[0].dp;
 809 }
 810 static inline void simcall_comm_test__set__comm(smx_simcall_t simcall, void* arg) {
 811     simcall->args[0].dp = arg;
 812 }
 813 static inline int simcall_comm_test__get__result(smx_simcall_t simcall){
 814     return  simcall->result.i;
 815 }
 816 static inline void simcall_comm_test__set__result(smx_simcall_t simcall, int result){
 817     simcall->result.i = result;
 818 }
 819
 820 static inline xbt_dynar_t simcall_comm_testany__get__comms(smx_simcall_t simcall) {
 821   return (xbt_dynar_t) simcall->args[0].dp;
 822 }
 823 static inline void simcall_comm_testany__set__comms(smx_simcall_t simcall, void* arg) {
 824     simcall->args[0].dp = arg;
 825 }
 826 static inline int simcall_comm_testany__get__result(smx_simcall_t simcall){
 827     return  simcall->result.i;
 828 }
 829 static inline void simcall_comm_testany__set__result(smx_simcall_t simcall, int result){
 830     simcall->result.i = result;
 831 }
 832
 833 static inline smx_synchro_t simcall_comm_get_remains__get__comm(smx_simcall_t simcall) {
 834   return (smx_synchro_t) simcall->args[0].dp;
 835 }
 836 static inline void simcall_comm_get_remains__set__comm(smx_simcall_t simcall, void* arg) {
 837     simcall->args[0].dp = arg;
 838 }
 839 static inline double simcall_comm_get_remains__get__result(smx_simcall_t simcall){
 840     return  simcall->result.d;
 841 }
 842 static inline void simcall_comm_get_remains__set__result(smx_simcall_t simcall, double result){
 843     simcall->result.d = result;
 844 }
 845
 846 static inline smx_synchro_t simcall_comm_get_src_data__get__comm(smx_simcall_t simcall) {
 847   return (smx_synchro_t) simcall->args[0].dp;
 848 }
 849 static inline void simcall_comm_get_src_data__set__comm(smx_simcall_t simcall, void* arg) {
 850     simcall->args[0].dp = arg;
 851 }
 852 static inline void* simcall_comm_get_src_data__get__result(smx_simcall_t simcall){
 853     return  simcall->result.dp;
 854 }
 855 static inline void simcall_comm_get_src_data__set__result(smx_simcall_t simcall, void* result){
 856     simcall->result.dp = result;
 857 }
 858
 859 static inline smx_synchro_t simcall_comm_get_dst_data__get__comm(smx_simcall_t simcall) {
 860   return (smx_synchro_t) simcall->args[0].dp;
 861 }
 862 static inline void simcall_comm_get_dst_data__set__comm(smx_simcall_t simcall, void* arg) {
 863     simcall->args[0].dp = arg;
 864 }
 865 static inline void* simcall_comm_get_dst_data__get__result(smx_simcall_t simcall){
 866     return  simcall->result.dp;
 867 }
 868 static inline void simcall_comm_get_dst_data__set__result(smx_simcall_t simcall, void* result){
 869     simcall->result.dp = result;
 870 }
 871
 872 static inline smx_synchro_t simcall_comm_get_src_proc__get__comm(smx_simcall_t simcall) {
 873   return (smx_synchro_t) simcall->args[0].dp;
 874 }
 875 static inline void simcall_comm_get_src_proc__set__comm(smx_simcall_t simcall, void* arg) {
 876     simcall->args[0].dp = arg;
 877 }
 878 static inline smx_process_t simcall_comm_get_src_proc__get__result(smx_simcall_t simcall){
 879     return (smx_process_t) simcall->result.dp;
 880 }
 881 static inline void simcall_comm_get_src_proc__set__result(smx_simcall_t simcall, void* result){
 882     simcall->result.dp = result;
 883 }
 884
 885 static inline smx_synchro_t simcall_comm_get_dst_proc__get__comm(smx_simcall_t simcall) {
 886   return (smx_synchro_t) simcall->args[0].dp;
 887 }
 888 static inline void simcall_comm_get_dst_proc__set__comm(smx_simcall_t simcall, void* arg) {
 889     simcall->args[0].dp = arg;
 890 }
 891 static inline smx_process_t simcall_comm_get_dst_proc__get__result(smx_simcall_t simcall){
 892     return (smx_process_t) simcall->result.dp;
 893 }
 894 static inline void simcall_comm_get_dst_proc__set__result(smx_simcall_t simcall, void* result){
 895     simcall->result.dp = result;
 896 }
 897
 898 static inline smx_mutex_t simcall_mutex_init__get__result(smx_simcall_t simcall){
 899     return (smx_mutex_t) simcall->result.dp;
 900 }
 901 static inline void simcall_mutex_init__set__result(smx_simcall_t simcall, void* result){
 902     simcall->result.dp = result;
 903 }
 904
 905 static inline smx_mutex_t simcall_mutex_lock__get__mutex(smx_simcall_t simcall) {
 906   return (smx_mutex_t) simcall->args[0].dp;
 907 }
 908 static inline void simcall_mutex_lock__set__mutex(smx_simcall_t simcall, void* arg) {
 909     simcall->args[0].dp = arg;
 910 }
 911
 912 static inline smx_mutex_t simcall_mutex_trylock__get__mutex(smx_simcall_t simcall) {
 913   return (smx_mutex_t) simcall->args[0].dp;
 914 }
 915 static inline void simcall_mutex_trylock__set__mutex(smx_simcall_t simcall, void* arg) {
 916     simcall->args[0].dp = arg;
 917 }
 918 static inline int simcall_mutex_trylock__get__result(smx_simcall_t simcall){
 919     return  simcall->result.i;
 920 }
 921 static inline void simcall_mutex_trylock__set__result(smx_simcall_t simcall, int result){
 922     simcall->result.i = result;
 923 }
 924
 925 static inline smx_mutex_t simcall_mutex_unlock__get__mutex(smx_simcall_t simcall) {
 926   return (smx_mutex_t) simcall->args[0].dp;
 927 }
 928 static inline void simcall_mutex_unlock__set__mutex(smx_simcall_t simcall, void* arg) {
 929     simcall->args[0].dp = arg;
 930 }
 931
 932 static inline smx_cond_t simcall_cond_init__get__result(smx_simcall_t simcall){
 933     return (smx_cond_t) simcall->result.dp;
 934 }
 935 static inline void simcall_cond_init__set__result(smx_simcall_t simcall, void* result){
 936     simcall->result.dp = result;
 937 }
 938
 939 static inline smx_cond_t simcall_cond_signal__get__cond(smx_simcall_t simcall) {
 940   return (smx_cond_t) simcall->args[0].dp;
 941 }
 942 static inline void simcall_cond_signal__set__cond(smx_simcall_t simcall, void* arg) {
 943     simcall->args[0].dp = arg;
 944 }
 945
 946 static inline smx_cond_t simcall_cond_wait__get__cond(smx_simcall_t simcall) {
 947   return (smx_cond_t) simcall->args[0].dp;
 948 }
 949 static inline void simcall_cond_wait__set__cond(smx_simcall_t simcall, void* arg) {
 950     simcall->args[0].dp = arg;
 951 }
 952 static inline smx_mutex_t simcall_cond_wait__get__mutex(smx_simcall_t simcall) {
 953   return (smx_mutex_t) simcall->args[1].dp;
 954 }
 955 static inline void simcall_cond_wait__set__mutex(smx_simcall_t simcall, void* arg) {
 956     simcall->args[1].dp = arg;
 957 }
 958
 959 static inline smx_cond_t simcall_cond_wait_timeout__get__cond(smx_simcall_t simcall) {
 960   return (smx_cond_t) simcall->args[0].dp;
 961 }
 962 static inline void simcall_cond_wait_timeout__set__cond(smx_simcall_t simcall, void* arg) {
 963     simcall->args[0].dp = arg;
 964 }
 965 static inline smx_mutex_t simcall_cond_wait_timeout__get__mutex(smx_simcall_t simcall) {
 966   return (smx_mutex_t) simcall->args[1].dp;
 967 }
 968 static inline void simcall_cond_wait_timeout__set__mutex(smx_simcall_t simcall, void* arg) {
 969     simcall->args[1].dp = arg;
 970 }
 971 static inline double simcall_cond_wait_timeout__get__timeout(smx_simcall_t simcall) {
 972   return  simcall->args[2].d;
 973 }
 974 static inline void simcall_cond_wait_timeout__set__timeout(smx_simcall_t simcall, double arg) {
 975     simcall->args[2].d = arg;
 976 }
 977
 978 static inline smx_cond_t simcall_cond_broadcast__get__cond(smx_simcall_t simcall) {
 979   return (smx_cond_t) simcall->args[0].dp;
 980 }
 981 static inline void simcall_cond_broadcast__set__cond(smx_simcall_t simcall, void* arg) {
 982     simcall->args[0].dp = arg;
 983 }
 984
 985 static inline unsigned int simcall_sem_init__get__capacity(smx_simcall_t simcall) {
 986   return  simcall->args[0].ui;
 987 }
 988 static inline void simcall_sem_init__set__capacity(smx_simcall_t simcall, unsigned int arg) {
 989     simcall->args[0].ui = arg;
 990 }
 991 static inline smx_sem_t simcall_sem_init__get__result(smx_simcall_t simcall){
 992     return (smx_sem_t) simcall->result.dp;
 993 }
 994 static inline void simcall_sem_init__set__result(smx_simcall_t simcall, void* result){
 995     simcall->result.dp = result;
 996 }
 997
 998 static inline smx_sem_t simcall_sem_release__get__sem(smx_simcall_t simcall) {
 999   return (smx_sem_t) simcall->args[0].dp;
1000 }
1001 static inline void simcall_sem_release__set__sem(smx_simcall_t simcall, void* arg) {
1002     simcall->args[0].dp = arg;
1003 }
1004
1005 static inline smx_sem_t simcall_sem_would_block__get__sem(smx_simcall_t simcall) {
1006   return (smx_sem_t) simcall->args[0].dp;
1007 }
1008 static inline void simcall_sem_would_block__set__sem(smx_simcall_t simcall, void* arg) {
1009     simcall->args[0].dp = arg;
1010 }
1011 static inline int simcall_sem_would_block__get__result(smx_simcall_t simcall){
1012     return  simcall->result.i;
1013 }
1014 static inline void simcall_sem_would_block__set__result(smx_simcall_t simcall, int result){
1015     simcall->result.i = result;
1016 }
1017
1018 static inline smx_sem_t simcall_sem_acquire__get__sem(smx_simcall_t simcall) {
1019   return (smx_sem_t) simcall->args[0].dp;
1020 }
1021 static inline void simcall_sem_acquire__set__sem(smx_simcall_t simcall, void* arg) {
1022     simcall->args[0].dp = arg;
1023 }
1024
1025 static inline smx_sem_t simcall_sem_acquire_timeout__get__sem(smx_simcall_t simcall) {
1026   return (smx_sem_t) simcall->args[0].dp;
1027 }
1028 static inline void simcall_sem_acquire_timeout__set__sem(smx_simcall_t simcall, void* arg) {
1029     simcall->args[0].dp = arg;
1030 }
1031 static inline double simcall_sem_acquire_timeout__get__timeout(smx_simcall_t simcall) {
1032   return  simcall->args[1].d;
1033 }
1034 static inline void simcall_sem_acquire_timeout__set__timeout(smx_simcall_t simcall, double arg) {
1035     simcall->args[1].d = arg;
1036 }
1037
1038 static inline smx_sem_t simcall_sem_get_capacity__get__sem(smx_simcall_t simcall) {
1039   return (smx_sem_t) simcall->args[0].dp;
1040 }
1041 static inline void simcall_sem_get_capacity__set__sem(smx_simcall_t simcall, void* arg) {
1042     simcall->args[0].dp = arg;
1043 }
1044 static inline int simcall_sem_get_capacity__get__result(smx_simcall_t simcall){
1045     return  simcall->result.i;
1046 }
1047 static inline void simcall_sem_get_capacity__set__result(smx_simcall_t simcall, int result){
1048     simcall->result.i = result;
1049 }
1050
1051 static inline smx_file_t simcall_file_read__get__fd(smx_simcall_t simcall) {
1052   return (smx_file_t) simcall->args[0].dp;
1053 }
1054 static inline void simcall_file_read__set__fd(smx_simcall_t simcall, void* arg) {
1055     simcall->args[0].dp = arg;
1056 }
1057 static inline sg_size_t simcall_file_read__get__size(smx_simcall_t simcall) {
1058   return  simcall->args[1].sgsz;
1059 }
1060 static inline void simcall_file_read__set__size(smx_simcall_t simcall, sg_size_t arg) {
1061     simcall->args[1].sgsz = arg;
1062 }
1063 static inline sg_host_t simcall_file_read__get__host(smx_simcall_t simcall) {
1064   return (sg_host_t) simcall->args[2].dp;
1065 }
1066 static inline void simcall_file_read__set__host(smx_simcall_t simcall, void* arg) {
1067     simcall->args[2].dp = arg;
1068 }
1069 static inline sg_size_t simcall_file_read__get__result(smx_simcall_t simcall){
1070     return  simcall->result.sgsz;
1071 }
1072 static inline void simcall_file_read__set__result(smx_simcall_t simcall, sg_size_t result){
1073     simcall->result.sgsz = result;
1074 }
1075
1076 static inline smx_file_t simcall_file_write__get__fd(smx_simcall_t simcall) {
1077   return (smx_file_t) simcall->args[0].dp;
1078 }
1079 static inline void simcall_file_write__set__fd(smx_simcall_t simcall, void* arg) {
1080     simcall->args[0].dp = arg;
1081 }
1082 static inline sg_size_t simcall_file_write__get__size(smx_simcall_t simcall) {
1083   return  simcall->args[1].sgsz;
1084 }
1085 static inline void simcall_file_write__set__size(smx_simcall_t simcall, sg_size_t arg) {
1086     simcall->args[1].sgsz = arg;
1087 }
1088 static inline sg_host_t simcall_file_write__get__host(smx_simcall_t simcall) {
1089   return (sg_host_t) simcall->args[2].dp;
1090 }
1091 static inline void simcall_file_write__set__host(smx_simcall_t simcall, void* arg) {
1092     simcall->args[2].dp = arg;
1093 }
1094 static inline sg_size_t simcall_file_write__get__result(smx_simcall_t simcall){
1095     return  simcall->result.sgsz;
1096 }
1097 static inline void simcall_file_write__set__result(smx_simcall_t simcall, sg_size_t result){
1098     simcall->result.sgsz = result;
1099 }
1100
1101 static inline const char* simcall_file_open__get__fullpath(smx_simcall_t simcall) {
1102   return  simcall->args[0].cc;
1103 }
1104 static inline void simcall_file_open__set__fullpath(smx_simcall_t simcall, const char* arg) {
1105     simcall->args[0].cc = arg;
1106 }
1107 static inline sg_host_t simcall_file_open__get__host(smx_simcall_t simcall) {
1108   return (sg_host_t) simcall->args[1].dp;
1109 }
1110 static inline void simcall_file_open__set__host(smx_simcall_t simcall, void* arg) {
1111     simcall->args[1].dp = arg;
1112 }
1113 static inline smx_file_t simcall_file_open__get__result(smx_simcall_t simcall){
1114     return (smx_file_t) simcall->result.dp;
1115 }
1116 static inline void simcall_file_open__set__result(smx_simcall_t simcall, void* result){
1117     simcall->result.dp = result;
1118 }
1119
1120 static inline smx_file_t simcall_file_close__get__fd(smx_simcall_t simcall) {
1121   return (smx_file_t) simcall->args[0].dp;
1122 }
1123 static inline void simcall_file_close__set__fd(smx_simcall_t simcall, void* arg) {
1124     simcall->args[0].dp = arg;
1125 }
1126 static inline sg_host_t simcall_file_close__get__host(smx_simcall_t simcall) {
1127   return (sg_host_t) simcall->args[1].dp;
1128 }
1129 static inline void simcall_file_close__set__host(smx_simcall_t simcall, void* arg) {
1130     simcall->args[1].dp = arg;
1131 }
1132 static inline int simcall_file_close__get__result(smx_simcall_t simcall){
1133     return  simcall->result.i;
1134 }
1135 static inline void simcall_file_close__set__result(smx_simcall_t simcall, int result){
1136     simcall->result.i = result;
1137 }
1138
1139 static inline smx_file_t simcall_file_unlink__get__fd(smx_simcall_t simcall) {
1140   return (smx_file_t) simcall->args[0].dp;
1141 }
1142 static inline void simcall_file_unlink__set__fd(smx_simcall_t simcall, void* arg) {
1143     simcall->args[0].dp = arg;
1144 }
1145 static inline sg_host_t simcall_file_unlink__get__host(smx_simcall_t simcall) {
1146   return (sg_host_t) simcall->args[1].dp;
1147 }
1148 static inline void simcall_file_unlink__set__host(smx_simcall_t simcall, void* arg) {
1149     simcall->args[1].dp = arg;
1150 }
1151 static inline int simcall_file_unlink__get__result(smx_simcall_t simcall){
1152     return  simcall->result.i;
1153 }
1154 static inline void simcall_file_unlink__set__result(smx_simcall_t simcall, int result){
1155     simcall->result.i = result;
1156 }
1157
1158 static inline smx_file_t simcall_file_get_size__get__fd(smx_simcall_t simcall) {
1159   return (smx_file_t) simcall->args[0].dp;
1160 }
1161 static inline void simcall_file_get_size__set__fd(smx_simcall_t simcall, void* arg) {
1162     simcall->args[0].dp = arg;
1163 }
1164 static inline sg_size_t simcall_file_get_size__get__result(smx_simcall_t simcall){
1165     return  simcall->result.sgsz;
1166 }
1167 static inline void simcall_file_get_size__set__result(smx_simcall_t simcall, sg_size_t result){
1168     simcall->result.sgsz = result;
1169 }
1170
1171 static inline smx_file_t simcall_file_tell__get__fd(smx_simcall_t simcall) {
1172   return (smx_file_t) simcall->args[0].dp;
1173 }
1174 static inline void simcall_file_tell__set__fd(smx_simcall_t simcall, void* arg) {
1175     simcall->args[0].dp = arg;
1176 }
1177 static inline sg_size_t simcall_file_tell__get__result(smx_simcall_t simcall){
1178     return  simcall->result.sgsz;
1179 }
1180 static inline void simcall_file_tell__set__result(smx_simcall_t simcall, sg_size_t result){
1181     simcall->result.sgsz = result;
1182 }
1183
1184 static inline smx_file_t simcall_file_seek__get__fd(smx_simcall_t simcall) {
1185   return (smx_file_t) simcall->args[0].dp;
1186 }
1187 static inline void simcall_file_seek__set__fd(smx_simcall_t simcall, void* arg) {
1188     simcall->args[0].dp = arg;
1189 }
1190 static inline sg_offset_t simcall_file_seek__get__offset(smx_simcall_t simcall) {
1191   return  simcall->args[1].sgoff;
1192 }
1193 static inline void simcall_file_seek__set__offset(smx_simcall_t simcall, sg_offset_t arg) {
1194     simcall->args[1].sgoff = arg;
1195 }
1196 static inline int simcall_file_seek__get__origin(smx_simcall_t simcall) {
1197   return  simcall->args[2].i;
1198 }
1199 static inline void simcall_file_seek__set__origin(smx_simcall_t simcall, int arg) {
1200     simcall->args[2].i = arg;
1201 }
1202 static inline int simcall_file_seek__get__result(smx_simcall_t simcall){
1203     return  simcall->result.i;
1204 }
1205 static inline void simcall_file_seek__set__result(smx_simcall_t simcall, int result){
1206     simcall->result.i = result;
1207 }
1208
1209 static inline smx_file_t simcall_file_get_info__get__fd(smx_simcall_t simcall) {
1210   return (smx_file_t) simcall->args[0].dp;
1211 }
1212 static inline void simcall_file_get_info__set__fd(smx_simcall_t simcall, void* arg) {
1213     simcall->args[0].dp = arg;
1214 }
1215 static inline xbt_dynar_t simcall_file_get_info__get__result(smx_simcall_t simcall){
1216     return (xbt_dynar_t) simcall->result.dp;
1217 }
1218 static inline void simcall_file_get_info__set__result(smx_simcall_t simcall, void* result){
1219     simcall->result.dp = result;
1220 }
1221
1222 static inline smx_file_t simcall_file_move__get__fd(smx_simcall_t simcall) {
1223   return (smx_file_t) simcall->args[0].dp;
1224 }
1225 static inline void simcall_file_move__set__fd(smx_simcall_t simcall, void* arg) {
1226     simcall->args[0].dp = arg;
1227 }
1228 static inline const char* simcall_file_move__get__fullpath(smx_simcall_t simcall) {
1229   return  simcall->args[1].cc;
1230 }
1231 static inline void simcall_file_move__set__fullpath(smx_simcall_t simcall, const char* arg) {
1232     simcall->args[1].cc = arg;
1233 }
1234 static inline int simcall_file_move__get__result(smx_simcall_t simcall){
1235     return  simcall->result.i;
1236 }
1237 static inline void simcall_file_move__set__result(smx_simcall_t simcall, int result){
1238     simcall->result.i = result;
1239 }
1240
1241 static inline smx_storage_t simcall_storage_get_free_size__get__storage(smx_simcall_t simcall) {
1242   return (smx_storage_t) simcall->args[0].dp;
1243 }
1244 static inline void simcall_storage_get_free_size__set__storage(smx_simcall_t simcall, void* arg) {
1245     simcall->args[0].dp = arg;
1246 }
1247 static inline sg_size_t simcall_storage_get_free_size__get__result(smx_simcall_t simcall){
1248     return  simcall->result.sgsz;
1249 }
1250 static inline void simcall_storage_get_free_size__set__result(smx_simcall_t simcall, sg_size_t result){
1251     simcall->result.sgsz = result;
1252 }
1253
1254 static inline smx_storage_t simcall_storage_get_used_size__get__name(smx_simcall_t simcall) {
1255   return (smx_storage_t) simcall->args[0].dp;
1256 }
1257 static inline void simcall_storage_get_used_size__set__name(smx_simcall_t simcall, void* arg) {
1258     simcall->args[0].dp = arg;
1259 }
1260 static inline sg_size_t simcall_storage_get_used_size__get__result(smx_simcall_t simcall){
1261     return  simcall->result.sgsz;
1262 }
1263 static inline void simcall_storage_get_used_size__set__result(smx_simcall_t simcall, sg_size_t result){
1264     simcall->result.sgsz = result;
1265 }
1266
1267 static inline smx_storage_t simcall_storage_get_properties__get__storage(smx_simcall_t simcall) {
1268   return (smx_storage_t) simcall->args[0].dp;
1269 }
1270 static inline void simcall_storage_get_properties__set__storage(smx_simcall_t simcall, void* arg) {
1271     simcall->args[0].dp = arg;
1272 }
1273 static inline xbt_dict_t simcall_storage_get_properties__get__result(smx_simcall_t simcall){
1274     return (xbt_dict_t) simcall->result.dp;
1275 }
1276 static inline void simcall_storage_get_properties__set__result(smx_simcall_t simcall, void* result){
1277     simcall->result.dp = result;
1278 }
1279
1280 static inline smx_storage_t simcall_storage_get_content__get__storage(smx_simcall_t simcall) {
1281   return (smx_storage_t) simcall->args[0].dp;
1282 }
1283 static inline void simcall_storage_get_content__set__storage(smx_simcall_t simcall, void* arg) {
1284     simcall->args[0].dp = arg;
1285 }
1286 static inline xbt_dict_t simcall_storage_get_content__get__result(smx_simcall_t simcall){
1287     return (xbt_dict_t) simcall->result.dp;
1288 }
1289 static inline void simcall_storage_get_content__set__result(smx_simcall_t simcall, void* result){
1290     simcall->result.dp = result;
1291 }
1292
1293 static inline const char* simcall_asr_get_properties__get__name(smx_simcall_t simcall) {
1294   return  simcall->args[0].cc;
1295 }
1296 static inline void simcall_asr_get_properties__set__name(smx_simcall_t simcall, const char* arg) {
1297     simcall->args[0].cc = arg;
1298 }
1299 static inline xbt_dict_t simcall_asr_get_properties__get__result(smx_simcall_t simcall){
1300     return (xbt_dict_t) simcall->result.dp;
1301 }
1302 static inline void simcall_asr_get_properties__set__result(smx_simcall_t simcall, void* result){
1303     simcall->result.dp = result;
1304 }
1305
1306 static inline int simcall_mc_random__get__min(smx_simcall_t simcall) {
1307   return  simcall->args[0].i;
1308 }
1309 static inline void simcall_mc_random__set__min(smx_simcall_t simcall, int arg) {
1310     simcall->args[0].i = arg;
1311 }
1312 static inline int simcall_mc_random__get__max(smx_simcall_t simcall) {
1313   return  simcall->args[1].i;
1314 }
1315 static inline void simcall_mc_random__set__max(smx_simcall_t simcall, int arg) {
1316     simcall->args[1].i = arg;
1317 }
1318 static inline int simcall_mc_random__get__result(smx_simcall_t simcall){
1319     return  simcall->result.i;
1320 }
1321 static inline void simcall_mc_random__set__result(smx_simcall_t simcall, int result){
1322     simcall->result.i = result;
1323 }
1324
1325 static inline smx_synchro_t simcall_set_category__get__synchro(smx_simcall_t simcall) {
1326   return (smx_synchro_t) simcall->args[0].dp;
1327 }
1328 static inline void simcall_set_category__set__synchro(smx_simcall_t simcall, void* arg) {
1329     simcall->args[0].dp = arg;
1330 }
1331 static inline const char* simcall_set_category__get__category(smx_simcall_t simcall) {
1332   return  simcall->args[1].cc;
1333 }
1334 static inline void simcall_set_category__set__category(smx_simcall_t simcall, const char* arg) {
1335     simcall->args[1].cc = arg;
1336 }
1337
1338 static inline void* simcall_run_kernel__get__code(smx_simcall_t simcall) {
1339   return  simcall->args[0].dp;
1340 }
1341 static inline void simcall_run_kernel__set__code(smx_simcall_t simcall, void* arg) {
1342     simcall->args[0].dp = arg;
1343 }
1344
1345 /* The prototype of all simcall handlers, automatically generated for you */
1346
1347 XBT_PRIVATE void simcall_HANDLER_vm_suspend(smx_simcall_t simcall, sg_host_t ind_vm);
1348 XBT_PRIVATE void simcall_HANDLER_vm_resume(smx_simcall_t simcall, sg_host_t ind_vm);
1349 XBT_PRIVATE void simcall_HANDLER_vm_shutdown(smx_simcall_t simcall, sg_host_t ind_vm);
1350 XBT_PRIVATE void simcall_HANDLER_vm_save(smx_simcall_t simcall, sg_host_t ind_vm);
1351 XBT_PRIVATE void simcall_HANDLER_vm_restore(smx_simcall_t simcall, sg_host_t ind_vm);
1352 XBT_PRIVATE void* simcall_HANDLER_process_create(smx_simcall_t simcall, const char* name, xbt_main_func_t code, void* data, const char* hostname, double kill_time, int argc, char** argv, xbt_dict_t properties, int auto_restart);
1353 XBT_PRIVATE void simcall_HANDLER_process_kill(smx_simcall_t simcall, smx_process_t process);
1354 XBT_PRIVATE void simcall_HANDLER_process_killall(smx_simcall_t simcall, int reset_pid);
1355 XBT_PRIVATE void simcall_HANDLER_process_suspend(smx_simcall_t simcall, smx_process_t process);
1356 XBT_PRIVATE void simcall_HANDLER_process_resume(smx_simcall_t simcall, smx_process_t process);
1357 XBT_PRIVATE void simcall_HANDLER_process_set_host(smx_simcall_t simcall, smx_process_t process, sg_host_t dest);
1358 XBT_PRIVATE void simcall_HANDLER_process_join(smx_simcall_t simcall, smx_process_t process, double timeout);
1359 XBT_PRIVATE void simcall_HANDLER_process_sleep(smx_simcall_t simcall, double duration);
1360 XBT_PRIVATE smx_synchro_t simcall_HANDLER_execution_start(smx_simcall_t simcall, const char* name, double flops_amount, double priority, double bound, unsigned long affinity_mask);
1361 XBT_PRIVATE void simcall_HANDLER_execution_wait(smx_simcall_t simcall, smx_synchro_t execution);
1362 XBT_PRIVATE smx_process_t simcall_HANDLER_process_restart(smx_simcall_t simcall, smx_process_t process);
1363 XBT_PRIVATE smx_synchro_t simcall_HANDLER_comm_iprobe(smx_simcall_t simcall, smx_mailbox_t mbox, int type, int src, int tag, simix_match_func_t match_fun, void* data);
1364 XBT_PRIVATE void simcall_HANDLER_comm_send(smx_simcall_t simcall, smx_process_t sender, smx_mailbox_t mbox, double task_size, double rate, void* src_buff, size_t src_buff_size, simix_match_func_t match_fun, simix_copy_data_func_t copy_data_fun, void* data, double timeout);
1365 XBT_PRIVATE smx_synchro_t simcall_HANDLER_comm_isend(smx_simcall_t simcall, smx_process_t sender, smx_mailbox_t mbox, double task_size, double rate, void* src_buff, size_t src_buff_size, simix_match_func_t match_fun, simix_clean_func_t clean_fun, simix_copy_data_func_t copy_data_fun, void* data, int detached);
1366 XBT_PRIVATE void simcall_HANDLER_comm_recv(smx_simcall_t simcall, smx_process_t receiver, smx_mailbox_t mbox, void* dst_buff, size_t* dst_buff_size, simix_match_func_t match_fun, simix_copy_data_func_t copy_data_fun, void* data, double timeout, double rate);
1367 XBT_PRIVATE smx_synchro_t simcall_HANDLER_comm_irecv(smx_simcall_t simcall, smx_process_t receiver, smx_mailbox_t mbox, void* dst_buff, size_t* dst_buff_size, simix_match_func_t match_fun, simix_copy_data_func_t copy_data_fun, void* data, double rate);
1368 XBT_PRIVATE void simcall_HANDLER_comm_waitany(smx_simcall_t simcall, xbt_dynar_t comms);
1369 XBT_PRIVATE void simcall_HANDLER_comm_wait(smx_simcall_t simcall, smx_synchro_t comm, double timeout);
1370 XBT_PRIVATE void simcall_HANDLER_comm_test(smx_simcall_t simcall, smx_synchro_t comm);
1371 XBT_PRIVATE void simcall_HANDLER_comm_testany(smx_simcall_t simcall, xbt_dynar_t comms);
1372 XBT_PRIVATE smx_mutex_t simcall_HANDLER_mutex_init(smx_simcall_t simcall);
1373 XBT_PRIVATE void simcall_HANDLER_mutex_lock(smx_simcall_t simcall, smx_mutex_t mutex);
1374 XBT_PRIVATE int simcall_HANDLER_mutex_trylock(smx_simcall_t simcall, smx_mutex_t mutex);
1375 XBT_PRIVATE void simcall_HANDLER_mutex_unlock(smx_simcall_t simcall, smx_mutex_t mutex);
1376 XBT_PRIVATE void simcall_HANDLER_cond_wait(smx_simcall_t simcall, smx_cond_t cond, smx_mutex_t mutex);
1377 XBT_PRIVATE void simcall_HANDLER_cond_wait_timeout(smx_simcall_t simcall, smx_cond_t cond, smx_mutex_t mutex, double timeout);
1378 XBT_PRIVATE void simcall_HANDLER_sem_release(smx_simcall_t simcall, smx_sem_t sem);
1379 XBT_PRIVATE int simcall_HANDLER_sem_would_block(smx_simcall_t simcall, smx_sem_t sem);
1380 XBT_PRIVATE void simcall_HANDLER_sem_acquire(smx_simcall_t simcall, smx_sem_t sem);
1381 XBT_PRIVATE void simcall_HANDLER_sem_acquire_timeout(smx_simcall_t simcall, smx_sem_t sem, double timeout);
1382 XBT_PRIVATE int simcall_HANDLER_sem_get_capacity(smx_simcall_t simcall, smx_sem_t sem);
1383 XBT_PRIVATE void simcall_HANDLER_file_read(smx_simcall_t simcall, smx_file_t fd, sg_size_t size, sg_host_t host);
1384 XBT_PRIVATE void simcall_HANDLER_file_write(smx_simcall_t simcall, smx_file_t fd, sg_size_t size, sg_host_t host);
1385 XBT_PRIVATE void simcall_HANDLER_file_open(smx_simcall_t simcall, const char* fullpath, sg_host_t host);
1386 XBT_PRIVATE void simcall_HANDLER_file_close(smx_simcall_t simcall, smx_file_t fd, sg_host_t host);
1387 XBT_PRIVATE sg_size_t simcall_HANDLER_file_get_size(smx_simcall_t simcall, smx_file_t fd);
1388 XBT_PRIVATE sg_size_t simcall_HANDLER_file_tell(smx_simcall_t simcall, smx_file_t fd);
1389 XBT_PRIVATE int simcall_HANDLER_file_seek(smx_simcall_t simcall, smx_file_t fd, sg_offset_t offset, int origin);
1390 XBT_PRIVATE xbt_dynar_t simcall_HANDLER_file_get_info(smx_simcall_t simcall, smx_file_t fd);
1391 XBT_PRIVATE int simcall_HANDLER_file_move(smx_simcall_t simcall, smx_file_t fd, const char* fullpath);
1392 XBT_PRIVATE sg_size_t simcall_HANDLER_storage_get_free_size(smx_simcall_t simcall, smx_storage_t storage);
1393 XBT_PRIVATE sg_size_t simcall_HANDLER_storage_get_used_size(smx_simcall_t simcall, smx_storage_t name);
1394 XBT_PRIVATE xbt_dict_t simcall_HANDLER_asr_get_properties(smx_simcall_t simcall, const char* name);
1395 XBT_PRIVATE int simcall_HANDLER_mc_random(smx_simcall_t simcall, int min, int max);