"Context switching mecanism");
char* smx_context_factory_name = NULL; /* factory name specified by --cfg=contexts/factory:value */
"Context switching mecanism");
char* smx_context_factory_name = NULL; /* factory name specified by --cfg=contexts/factory:value */