/* Set a specified LED in a specified mode. */
void LED_Set(enum LED_id id, enum LED_mode mode)
/* Set a specified LED in a specified mode. */
void LED_Set(enum LED_id id, enum LED_mode mode)
{
   if( id == LED_GREEN )
      {
      GreenLED_newmode = mode;
      }
   else if( id == LED_RED )
      {
      RedLED_newmode = mode;
      }
   }