static T3S extractTokenToTriple(LS tok, int idx) {
  ret t3(joinSubList(tok, 0, idx), tok.get(idx), joinSubList(tok, idx+1));
}