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