void start_c_thread(void);