michael@0: // Copyright Test Inc.
michael@0: //
michael@0: // etc...
michael@0: // etc...
michael@0: function main(){ return 0; }