/* automatically generated by jscov - do not edit */
if (typeof _$jscoverage === 'undefined') _$jscoverage = {};
if (! _$jscoverage['subdir/with.js']) {
  _$jscoverage['subdir/with.js'] = [];
  _$jscoverage['subdir/with.js'][1] = 0;
  _$jscoverage['subdir/with.js'][2] = 0;
  _$jscoverage['subdir/with.js'][5] = 0;
  _$jscoverage['subdir/with.js'][6] = 0;
  _$jscoverage['subdir/with.js'][9] = 0;
}
_$jscoverage['subdir/with.js'][1]++;
with (b) {
  _$jscoverage['subdir/with.js'][2]++;
  g();
}
_$jscoverage['subdir/with.js'][5]++;
with (b) {
  _$jscoverage['subdir/with.js'][6]++;
  g();
}
_$jscoverage['subdir/with.js'][9]++;
do {
  _$jscoverage['subdir/with.js'][9]++;
  console.log('hej');
} while (true);
_$jscoverage['subdir/with.js'].source = ["with (b) {","  g()","}","","with (b)","  g()","","","do console.log(\"hej\"); while(true)"];