task Sender(void) {
task_t self = task_self();
msg_t msg;
task_setHandler(0); /* this task has no handlers */
loop {
/* interrupt Receiver.Sync */
msg.srcTid = self;
msg.dstTid = task_idOf("Receiver");
msg.dstHid = 0; /* Sync = Handler Id #0 */
msg.type = msg_type_SYNC;
task_interrupt(&msg);
/* ... */
}
}