char *task_names[] = {
  "main_task",
  "ev_watcher",
  "touch_task",
  "pcmsender_task",
  "tuner_listener",
  "wavdecoder_task",
  "aacdecoder_task",
  "mp3decoder_task",
  "player_task",
  "host_task",
  "console_task",
  "logtask",
};
