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