Added "vector cast"