depth = 9;

fun fail(p)
{
	if p < depth:
		fail(p+1, depth, fail);
	else
		assert(false);
}

fail(0);