int foo()
{
	return 42;
}