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