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