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