function Float32x4Constructor(c0, c1, c2, c3) {
  if (!IS_UNDEFINED(new.target)) {
    throw MakeTypeError(kNotConstructor, "Float32x4");
  }
  return %CreateFloat32x4(TO_NUMBER(c0), TO_NUMBER(c1),
                          TO_NUMBER(c2), TO_NUMBER(c3));
}
function Float32x4Constructor(c0, c1, c2, c3) {
  if (!IS_UNDEFINED(new.target)) {
    throw MakeTypeError(kNotConstructor, "Float32x4");
  }
  return %CreateFloat32x4(TO_NUMBER(c0), TO_NUMBER(c1),
                          TO_NUMBER(c2), TO_NUMBER(c3));
}
function Float32x4Constructor ( c0 , c1 , c2 , c3 ) { if ( ! IS_UNDEFINED ( new . target ) ) { throw MakeTypeError ( kNotConstructor , "Float32x4" ) ; } return % CreateFloat32x4 ( TO_NUMBER ( c0 ) , TO_NUMBER ( c1 ) , TO_NUMBER ( c2 ) , TO_NUMBER ( c3 ) ) ; }
-------------------------------------------------------------------
-------------------------------------------------------------------