void F0(out vec2 l0);

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