code: function show_copyright(comments) {
          var ret = "";
          for (var i = 0; i < comments.length; ++i) {
                  var c = comments[i];
                  if (c.type == "comment1") {
                          ret += "//" + c.value + "\n";
                  } else {
                          ret += "/*" + c.value + "*/";
                  }
          }
          return ret;
  }
docs: --------- main ends here.