/* The tasks as described in the comments at the top of this file.  */
static void prvQueueReceiveTask(void *pvParameters)
/* The tasks as described in the comments at the top of this file.  */
static void prvQueueReceiveTask(void *pvParameters)
{
unsigned long ulReceivedValue;
	for( ;; )
	{
		xQueueReceive( xQueue, &ulReceivedValue, portMAX_DELAY );
		if( ulReceivedValue == 100UL )
		{
		    GPIOA_PTOR = mainTASK_CONTROLLED_LED;
		}
	}
}