-void xbt_context_free(xbt_context_t context);
-void xbt_context_start(xbt_context_t context);
-void xbt_context_yield(void);
-void xbt_context_schedule(xbt_context_t context);
+XBT_PUBLIC(void) xbt_context_kill(xbt_context_t context);
+XBT_PUBLIC(void) xbt_context_start(xbt_context_t context);
+XBT_PUBLIC(void) xbt_context_yield(void);
+XBT_PUBLIC(void) xbt_context_schedule(xbt_context_t context);
+
+void xbt_context_set_jprocess(xbt_context_t context, void *jp);
+void* xbt_context_get_jprocess(xbt_context_t context);
+
+void xbt_context_set_jenv(xbt_context_t context,void* je);
+void* xbt_context_get_jenv(xbt_context_t context);
+