@@ statement S; identifier f; @@ static f(...) { - S }