case SIMCALL_ASR_GET_PROPERTIES:
simcall->asr_get_properties.result =
SIMIX_asr_get_properties(simcall->asr_get_properties.name);
case SIMCALL_ASR_GET_PROPERTIES:
simcall->asr_get_properties.result =
SIMIX_asr_get_properties(simcall->asr_get_properties.name);