#include void Init_thread(void) { }