srecord noeq JavaXPeepholeShortener(LS tok) {
  run {
    jreplace(tok, "<quoted>, <id>", "+$3", (_tok, nIdx)
      -> eq(unquote(_get(tok, nIdx+1)), _get(tok, nIdx+5)));
  }
}