float F0(void);
int F1(void);

float F0(void) {
	return 1.0;
}

int F1(void) {
	return 2;
}