title: What's going on with this void pointer?
body: <p>This is some C code from the Make Controller firmware. I'm familiar with what void pointers are, but I've never seen syntax like the first line of this function. What precisely is being accomplished by that?</p>
  
  <pre><code>void MakeStarterTask(void* parameters)
  {
    (void)parameters;
    Run();
    TaskDelete(NULL);
  }
  </code></pre>