vec2 F0(void);

vec2 F0(void) {
	return vec2(3.5000000000e+00);
}