#line 1 "Task0.c" /0        #line 1 "D:\KEIL\C51\INC\RTX51TNY.H" /0                  extern unsigned char os_create_task     (unsigned char task_id); extern unsigned char os_delete_task     (unsigned char task_id);  extern unsigned char os_wait            (unsigned char typ,  unsigned char ticks, unsigned int dummy); extern unsigned char os_wait1           (unsigned char typ); extern unsigned char os_wait2           (unsigned char typ, unsigned char ticks);  extern unsigned char os_send_signal     (unsigned char task_id); extern unsigned char os_clear_signal    (unsigned char task_id); extern unsigned char isr_send_signal    (unsigned char task_id);  extern void          os_set_ready       (unsigned char task_id); extern void          isr_set_ready      (unsigned char task_id);  extern unsigned char os_running_task_id (void); extern unsigned char os_switch_task     (void);   extern void          os_reset_interval  (unsigned char ticks);  #line 7 "Task0.c" /0   unsigned long counter0;                     void job0 (void) _task_ 0  {                   os_create_task (1);                   os_create_task (2);                   os_create_task (3);                    while (1)  {                          counter0++;                         os_wait (0x02, 5, 0);              } }