class C
{
	int foo() const
	out (bar)
	{
	}
	body
	{
	}
}