int main(void) { bsp_init(); libuc_main(); }