result.push(pick.concat(x)); 
result.push(pick.concat(x)); 
  function subset(list, size) {    if (size == 0 || !list.length)                      // order matters here      return [list.slice(0, 0)];                        // an empty sequence    var result = [];    for (var i = 0, n = list.length; i < n; i++) {      var pick = list.slice(i, i+1);                    // sequence slice      var rest = list.slice(0, i).concat(list.slice(i+1)); // keep [:i] part      for each (var x in subset(rest, size-1))                 result.push(pick.concat(x));    }    return result;  }
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/3703c3c05f398a63e55992f7687ef65273b26d6a/regress-350531.js/clean/js/tests/js1_5/extensions/regress-350531.js