static void tok_unpair(L<S> tok) {

  if (!tok.contains("unpair")) ret;

  int i;

  while ((i = jfind(tok, "var <id>, <id> = unpair")) >= 0) {

    int iUnpair = indexOf(tok, "unpair", i);

    int j = findEndOfStatement(tok, iUnpair);

    S var1 = tok.get(i+2);

    S var2 = tok.get(i+6);

    S v = makeVar();

    replaceTokens(tok, i, iUnpair+1, "var " + v + " ="); 

    tok.set(j-1, "; var " + var1 + " = " + v + ".a; var " + var2 + " = " + v + ".b;");

    reTok(tok, i, j);

  }

  jreplace(tok, "<id> <id>, <id> = unpair", "$1 $2, $1 $4 = unpair");

  while ((i = jfind(tok, "<id> <id>, <id> <id> = unpair")) >= 0) {

    int idx = indexOf(tok, "unpair", i);

    int j = findEndOfStatement(tok, idx);

    S type1 = tok.get(i), var1 = tok.get(i+2);

    S type2 = tok.get(i+6), var2 = tok.get(i+8);

    S v = makeVar();

    //printVars(+type1, +var1, +type2, +var2);

    tok.set(i+4, ";");

    tok.set(idx-2, ";");

    tok.set(idx, "Pair<" + tok_toNonPrimitiveTypes(type1) + "," + tok_toNonPrimitiveTypes(type2) + "> " + v + "=");

    tok.set(j-1, "; " + var1 + " = " + v + ".a; " + var2 + " = " + v + ".b;");

    reTok(tok, i, j);

  }

  while ((i = jfind(tok, "<id> <id>, <id> < <id>,<id> > <id> = unpair")) >= 0 || (i = jfind(tok, "<id> <id>, <id><<id>> <id> = unpair")) >= 0) {

    print("unpair");

    int idx = indexOf(tok, "unpair", i);

    int j = findEndOfStatement(tok, idx);

    S type1 = tok.get(i), var1 = tok.get(i+2);

    S type2 = joinSubList(tok, i+5, idx-5), var2 = tok.get(idx-4);

    S v = makeVar();

    tok.set(i+4, ";");

    tok.set(idx-2, ";");

    tok.set(idx-1, "");

    tok.set(idx, "Pair<" + type1 + "," + type2 + "> " + v + "=");

    tok.set(j-1, "; " + var1 + " = " + v + ".a; " + var2 + " = " + v + ".b;");

    reTok(tok, i, j);

  }

}