traversal-pp R find(X x) {

  initialize (@ new R(); @)
  through -> K l L -> M n N
  bypassing -> A b B -> X y Y
  through -> S t T -> P q Q
  to Salary

  before {R} (@ return_val = this; @)
}