init (Tvector4_single)
init_one (Tvector4_single)
init_zero (Tvector4_single)
length (Tvector4_single)
squared_length (Tvector4_single)