static L<Pair<S>> pairLines_tlftj(S s) {
  ret listToPairs(tlft_j(s));
}