void main_core0(void);