SG_BEGIN_DECL
XBT_PUBLIC void sg_exec_set_bound(sg_exec_t exec, double bound);
-XBT_PUBLIC const char* sg_exec_get_name(sg_exec_t exec);
+XBT_PUBLIC const char* sg_exec_get_name(const_sg_exec_t exec);
XBT_PUBLIC void sg_exec_set_name(sg_exec_t exec, const char* name);
XBT_PUBLIC void sg_exec_set_host(sg_exec_t exec, sg_host_t new_host);
XBT_PUBLIC double sg_exec_get_remaining(const_sg_exec_t exec);