rem: switch (a.length) { case 0: return new this(); case 1: return new this(a[0]); case 2: return new this(a[0], a[1]); case 3: return new this(a[0], a[1], a[2]); case 4: return new this(a[0], a[1], a[2], a[3]); case 5: return new this(a[0], a[1], a[2], a[3], a[4]); case 6: return new this(a[0], a[1], a[2], a[3], a[4], a[5]); case 7: return new this(a[0], a[1], a[2], a[3], a[4], a[5], a[6]); } throw "PANIC: too many arguments to constructor"; }; 
add: switch (a.length) { case 0: return new this(); case 1: return new this(a[0]); case 2: return new this(a[0], a[1]); case 3: return new this(a[0], a[1], a[2]); case 4: return new this(a[0], a[1], a[2], a[3]); case 5: return new this(a[0], a[1], a[2], a[3], a[4]); case 6: return new this(a[0], a[1], a[2], a[3], a[4], a[5]); case 7: return new this(a[0], a[1], a[2], a[3], a[4], a[5], a[6]); } throw "PANIC: too many arguments to constructor"; }; 
context: Fp.__construct__ = function (a, x) {    switch (a.length) {      case 0:        return new this();      case 1:        return new this(a[0]);      case 2:        return new this(a[0], a[1]);      case 3:        return new this(a[0], a[1], a[2]);      case 4:        return new this(a[0], a[1], a[2], a[3]);      case 5:        return new this(a[0], a[1], a[2], a[3], a[4]);      case 6:        return new this(a[0], a[1], a[2], a[3], a[4], a[5]);      case 7:        return new this(a[0], a[1], a[2], a[3], a[4], a[5], a[6]);    }    throw "PANIC: too many arguments to constructor";};
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/42c4aff0a0a40b3963a70bbc850caa094076ff7b/jsexec.js/buggy/js/narcissus/jsexec.js