static void tok_doubleFor_v1(L<S> tok) {
  jreplace(tok, "for (<id> <id>, <id> <id> : <id>) {",
    "for ($3 $4 : keys($9)) { $6 $7 = $9.get($4);");
  jreplace(tok, "for (<id> <id>, <id><<id>> <id> : <id>) {",
    "for ($3 $4 : keys($12)) { $6 $7 $8 $9 $10 = $12.get($4);");
  jreplace(tok, "for (<id> <id>, <id><<id>,<id>> <id> : <id>) {",
    "for ($3 $4 : keys($14)) { $6 $7 $8 $9 $10 $11 $12 = $14.get($4);");
  jreplace(tok, "for (<id> <id>, <id><<id>,<id>,<id>> <id> : <id>) {",
    "for ($3 $4 : keys($16)) { $6 $7 $8 $9 $10 $11 $12 $13 $14 = $16.get($4);");
  jreplace(tok, "for (<id> <id>, <id> : <id>) {",
    "for ($3 $4 : keys($8)) { $3 $6 = $8.get($4);");
}