int main()
{
  os_sys_init(init);
   while(1);
}

__task void init (void) {
   os_tsk_prio_self (100);  
   finit();
   os_tsk_create_user (blink_led, 30, &blink_stack, sizeof(blink_stack));
   os_tsk_create (timer_task, 30);
   os_tsk_create (UM50_control, 30);
   os_tsk_create_user (tcp_task, 0, &tcp_stack, sizeof(tcp_stack));
   os_tsk_delete_self();
}