Z{
  traversal-pp int f(float f) {
     // the wrappers below may refer to x,y and rv
     to X
    before {:> R,s,*,
	    B,
	    -> T,u,V,
	    => X,y,Z,
	    C  } (@ return_val = 2; @)

    after  { -> W,q,R } (@ System.out.println( f ); @)
  }
}