//#Safe

procedure ULTIMATE.start()
{
	var x : int;

	x := 0;

	assert true;
	assert x == 0;
}