int foo() {
	return 45;
}