1 /* generated main source file - do not edit */ 2 extern void hal_entry(void); main(void)3 int main(void) 4 { 5 hal_entry (); 6 return 0; 7 } 8