void xbt_context_empty_trash(void);
xbt_context_t xbt_context_new(xbt_context_function_t code, int argc, char *argv[]);
void xbt_context_start(xbt_context_t context);
void xbt_context_empty_trash(void);
xbt_context_t xbt_context_new(xbt_context_function_t code, int argc, char *argv[]);
void xbt_context_start(xbt_context_t context);