@rule_one@
expression e1, e2, e3, e4, e5, c, d;
@@

-init_timer (&e1);
+setup_timer (&e1, c, d);

... when != c = e2
    when != d = e3
(
-e1.function = c;
... when != d = e4
-e1.data = d;
|
-e1.data = d;
... when != c = e5
-e1.function = c;
)

@rule_two@
expression e8, e9, b,f;
@@

-e8.data = b;

...

-init_timer (&e8);
+setup_timer (&e8, f, b);

... when !=f = e9
-e8.function = f;

@rule_three@
expression e6, e7, a;
@@

-init_timer (&e6);
+setup_timer (&e6, a, 0UL);

... when != a = e7

-e6.function = a;