//desc:test warning message:Call->call
//option:
//date:2008-12-22 14:58:10
//author:bolowy
//type: CT

class a
{
	void func()
	{
		User::Leave(); //check:calls
	}
};