demos/hello/hello-smpl.cocci

   1 @main@
   2 type T;
   3 parameter list P;
   4 symbol printf;
   5 expression E;
   6 @@
   7
   8 T main(P) {
   9   printf(E);
  10   ...
  11 }
  12
  13 @@
  14 expression main.E;
  15 @@
  16
  17 -  E
  18 +  "world, hello!"