if (! _$jscoverage['javascript-dec.js']) {
  _$jscoverage['javascript-dec.js'] = [];
  _$jscoverage['javascript-dec.js'][1] = 0;
  _$jscoverage['javascript-dec.js'][2] = 0;
}
_$jscoverage['javascript-dec.js'].source = ["x<span class=\"k\">--;</span>","<span class=\"k\">--</span>x<span class=\"k\">;</span>"];
_$jscoverage['javascript-dec.js'][1]++;
(x--);
_$jscoverage['javascript-dec.js'][2]++;
(--x);
