793 extern float __attribute__((overloadable)) mix(float start, float stop, float amount) {  in mix()  argument
794     return start + (stop - start) * amount;  in mix()
796 extern float2 __attribute__((overloadable)) mix(float2 start, float2 stop, float2 amount) {  in mix()  argument
797     return start + (stop - start) * amount;  in mix()
799 extern float3 __attribute__((overloadable)) mix(float3 start, float3 stop, float3 amount) {  in mix()  argument
800     return start + (stop - start) * amount;  in mix()
802 extern float4 __attribute__((overloadable)) mix(float4 start, float4 stop, float4 amount) {  in mix()  argument
803     return start + (stop - start) * amount;  in mix()
805 extern float2 __attribute__((overloadable)) mix(float2 start, float2 stop, float amount) {  in mix()  argument
806     return start + (stop - start) * amount;  in mix()
808 extern float3 __attribute__((overloadable)) mix(float3 start, float3 stop, float amount) {  in mix()  argument
809     return start + (stop - start) * amount;  in mix()
811 extern float4 __attribute__((overloadable)) mix(float4 start, float4 stop, float amount) {  in mix()  argument
812     return start + (stop - start) * amount;  in mix()