michael@0: /* Any copyright is dedicated to the Public Domain.
michael@0:    http://creativecommons.org/publicdomain/zero/1.0/ */
michael@0: 
michael@0: function main() {
michael@0:   console.log("Hello, World!");
michael@0:   return 0;
michael@0: }