svoid tok_safeify(LS tok) {
  jreplace(tok, "map <id> {", "safeMap $2 {");
  jreplace(tok, "map(", "safeMap(");
}