michael@0: function counterExternalFile() {
michael@0:   console.count("console.count() testcounter");
michael@0: }
michael@0: function externalCountersWithoutLabel() {
michael@0:   console.count();
michael@0:   console.count();
michael@0: }