+/*********************************************
+ * File Generated by src/simix/simcalls.py *
+ * from src/simix/simcalls.in *
+ * Do not modify this file, add new simcalls *
+ * in src/simix/simcalls.in *
+ *********************************************/
+
SIMCALL_HOST_GET_BY_NAME,
SIMCALL_HOST_GET_NAME,
SIMCALL_HOST_ON,