// returns from C to C sS jextractIC(S pat, S s) { ret jextractIC(pat, javaTok(s)); } sS jextractIC(S pat, L tok) { LS tokpat = javaTok(pat); jfind_preprocess(tokpat); int i = jfindIC(tok, tokpat); if (i < 0) null; int j = i + l(tokpat) - 2; ret joinSubList(tok, i, j); }