michael@0: (function() {
michael@0:     [{ "9": [] }.watch([], function(){})]
michael@0: })()