X{
  traversal-pp int f(float f, int i, A a) {
     // the wrappers below may refer to x,y and rv
     to Z
    before { :r R,S} (@ System.out.println( r ); @)
    after {U,V} (@ System.out.println( f ); @)
    after -> R,c,S (@ System.out.println( a ); @)
  }
}