catchException "fail"
  <try>
  | pushValue (\u1 -> (\u2 -> (\u3 -> 'a' : ('b' : ('c' : Term)))))
  | read ('a' ==)
  | lift2Value (\u1 -> (\u2 -> u1 u2))
  | read ('b' ==)
  | lift2Value (\u1 -> (\u2 -> u1 u2))
  | read ('c' ==)
  | lift2Value (\u1 -> (\u2 -> u1 u2))
  | popException "fail"
  | ret
  <handler>
    loadInput
    raiseException "fail"