sbool <A> subListEq(L<A> l, L<A> pat, int i) {
  ret subListEquals(l, pat, i);
}



sbool <A> subListEq(L<A> l, int i, A... pat) {
  ret subListEquals(l, i, pat);
}