c HoWod {
  ubc c f (:R[S]): {
    f (.z  1) {
        C.OUT.("H !")
        u
    }
  }
}