@@
declarer name DECLARE_MUTEX;
declarer name DEFINE_MUTEX;
identifier I;
//fresh identifier I1;
@@

- DECLARE_MUTEX(I);
+ DEFINE_MUTEX(I);