Also, if this was xQueueSendToBack(), that would remove the need for the (otherwise) unused xHigherPriorityTaskWoken_foo stack variables.