@ 261106.15
current
// Print command-line arguments to script.
// Used in test_sanity.py

var print = print || console.log;
var args = [];

if (typeof process !== 'undefined') {
  // Use process global in node
  args = process.argv.slice(2);
} else if (typeof arguments !== 'undefined') {
  // Use arguments object for d8 and jsc, older sm
  args = Array.prototype.slice.call(arguments);
} else if (typeof scriptArgs !== 'undefined') {
  args = Array.prototype.slice.call(scriptArgs);
} else {
  throw 'what!';
}

args.forEach(function (val, index, array) {
  print(index + ': ' + val);
});