void main_core1(void);