sS tok_groupAfterNTokens(LS tok, int n) {
  ret joinSubList(tok, 0, n*2+1) + curly(joinSubList(tok, n*2+1));
}