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