float foo(float a, float b[]) {
	return 1;
}

int main(void) {
	return 0;
}