default: ret += elt.toString(); 
default: ret += elt.toString(); 
function toSource(arr){  var delim = CHAR_COMMA + CHAR_SPACE;  var elt = '';  var ret = '';  var len = arr.length;  for (i=0; i<len; i++)  {    elt = arr[i];    switch(true)    {      case (typeof elt === TYPE_STRING) :        ret += doubleQuote(elt);        break;      case (elt === undefined || elt === null) :        break; // add nothing but the delimiter, below -      default:        ret += elt.toString();    }    if ((i < len-1) || (elt === undefined))      ret += delim;  }  return  CHAR_LBRACKET + ret + CHAR_RBRACKET;}
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/c4ef7c014ce5dfc708ae1d0304289bc71d34d364/shell.js/clean/js/tests/js1_5/Expressions/shell.js