taskLed (g_in, rotation);

// SynthOS: begin generated code
// original statement: taskLed (g_in, rotation); 
// Create a new TCB.
{
     struct SYNTHOS_TCB *stcpNewTcb;
     stcpNewTcb = getFreeTcb(g_stcpTcbQ__taskLed);
     // make sure we get a free TCB
     ASSERT (stcpNewTcb != NULL); 
     stcpNewTcb->u32TaskState = 1;
     stcpNewTcb->pTaskId = NULL;
     stcpNewTcb->u32Params[0] = g_in;
     stcpNewTcb->u32Params[1] = rotation;
     (taskLed__type *)stcpNewTcb->u32pRetVal = &taskLed__dummy;
}
// SynthOS: end generated code

Example 1: (a) SynthOS primitive; (b) resulting synthesized C source code.