199     var incr = function(){ counter++; };  function
223     var incr = function(){ return ++counter; };  function
236     var incr = function(){ counter++; };  function
246     var incr = function(){ counter++; };  function
262     var incr = function(){ return ++counter; };  function
287     var incr = function(){ counter++; };  function
307     var incr = function(){ counter++; };  function
323     var incr = function(){ counter++; };  function
346     var incr = function(){ counter++; };  function
363     var incr = function(){ counter++; };  function
386     var incr = function(){ counter++; };  function
432     var incr = function(){ counter++; };  function
446     var incr = function(){ counter++; };  function
459     var incr = function(){ counter++; };  function
470     var incr = function(){ counter++; };  function
482     var incr = function(){ return ++counter; };  function
506     var incr = function(){ return ++counter; };  function