#include "hal.h"

#ifdef __cplusplus
  extern "C"
#endif
 void vTaskCTRL(void* pvParameters);