michael@0: onmessage = function(evt) {
michael@0:   console.time('bug1004814');
michael@0:   setTimeout(function() {
michael@0:     console.timeEnd('bug1004814');
michael@0:   }, 200);
michael@0: }