function sc_vector() {
    var a = new sc_Vector();
    for (var i = 0; i < arguments.length; i++)
	a.push(arguments[i]);
    return a;
}
function sc_vector() {
    var a = new sc_Vector();
    for (var i = 0; i < arguments.length; i++)
	a.push(arguments[i]);
    return a;
}
function sc_vector ( ) { var a = new sc_Vector ( ) ; for ( var i = 0 ; i < arguments . length ; i ++ ) a . push ( arguments [ i ] ) ; return a ; }
* META ((export vector array)
(peephole (vector)))
* META (( export vector array ) ( peephole ( vector )))