@@ type T; @@ foo(...) { T + * x; ... }