XBT_PUBLIC void thread_execute(s4u::Host* host, double flop_amounts, int thread_count);
/** Initialize a sequential execution that must then be started manually */
XBT_PUBLIC void thread_execute(s4u::Host* host, double flop_amounts, int thread_count);
/** Initialize a sequential execution that must then be started manually */