@@
statement S;
@@

  x = 1;
  S
+ foo();