@@
identifier f;
expression e;
@@
void f(...) {
  ...
- return
  e;
}