public static float length(float4 a)
 {
     return(a.length());
 }