static Pair find2plusIndex(L pat, L tok) { for (int idx = 0; idx < tok.size(); idx += 2) { S[] result = find2(pat, tok, idx); if (result != null) ret pair(result, idx+1); } null; }