@@ statement S; @@ f(); - S g();