#line 1 "Task2.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 "Task2.c" /0   unsigned long counter2;                      void job2 (void) _task_ 2  { while (1)  {                          counter2++;                         if ((counter2 & 0x01) == 0)  {      os_switch_task ();                } if ((counter2 & 0x00F) == 0)  {    os_set_ready (3);                 } } }