diff --git a/examples/bench_23/main.c b/examples/bench_23/main.c
index 0e02672f40a12dc197bee343f23f56f4cbe300c2..b27273f1b5bf4e100d76777f425c82e6ad8ae545 100644
--- a/examples/bench_23/main.c
+++ b/examples/bench_23/main.c
@@ -6,7 +6,7 @@ int main(int argc, char** argv) {
 
 	// unsigned char pdl[] = "\
 	// primitive xrouter(in a, out b, out c) {\
- //        while(true) synchronous {\
+ //        while(true) sync {\
  //            if(fires(a)) {\
  //                if(fires(b)) put(b, get(a));\
  //                else         put(c, get(a));\
@@ -16,7 +16,7 @@ int main(int argc, char** argv) {
  //    ;
 	unsigned char pdl[] = "\
 	primitive lossy(in a, out b) {\
-        while(true) synchronous {\
+        while(true) sync {\
             if(fires(a)) {\
                 msg m = get(a);\
                 if(fires(b)) put(b, m);\
@@ -24,7 +24,7 @@ int main(int argc, char** argv) {
         }\
     }\
     primitive sync_drain(in a, in b) {\
-        while(true) synchronous {\
+        while(true) sync {\
             if(fires(a)) {\
                 get(a);\
                 get(b);\