svoid tok_expandLT3(L<S> tok) {
  if (!tok.contains("LT3")) ret;
  int n = l(tok)-6;
  for (int i = 1; i < n; i += 2) {
    continue unless eq(tok.get(i), "LT3") && eq(tok.get(i+2), "<");
    int j = findEndOfTypeArgs(tok, i+2)-1; // j = index of >
    tok.set(i, "L<T3");
    tok.set(j, ">>");
    reTok(tok, i, j+1);
    n = l(tok)-6;
  }
}